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'.

Created by  akkartik  on December 7, 2023
VPRGENLAJTF52YSY6NNZAPWQOD2TLP7DJU7DAAWGL4WFHOYAZF5QC
Change contents