hide some details within the 'warning' state
commit8c9775548097e9518bf5fcac2bde8a9594fa5b7a
authorKartik K. Agaram <vc@akkartik.com>
Thu, 7 Dec 2023 06:59:24 +0000 (6 22:59 -0800)
committerKartik K. Agaram <vc@akkartik.com>
Thu, 7 Dec 2023 06:59:24 +0000 (6 22:59 -0800)
tree890d4cb09af826f9b1ccdccd54dfef485997cb64
parent19597e7619babdf9a35efd61c9a87bdabd173569
hide some details within the 'warning' state

Renamed from the 'error' state.

Now we no longer overload Error_message; it's only used for actual
errors that trigger opening the source editor.

I was tempted to hide Skip_rest_of_key_events inside the 'warning' state
as well, but that isn't right. It applies to all Current_app
transitions, not just those in and out of 'warning'.
main.lua