-
Notifications
You must be signed in to change notification settings - Fork 229
Description
I was typing a new section, so I had a line like
\section{Partially Typed Ti
and I got a popup error message in the corner telling me that I have a fatal error and it was not possible to produce a useful PDF. I understand why it happened, but I do NOT want to see such messages at all and especially in a way that attracts attention when the reason for the error is me being in the middle of typing a command.
I don't know how exactly this should be fixed. Before displaying the error check the time passed since last document edit and do not show the error if either a) there were edits since the last run that triggered the error or b) the last edit was less than X seconds ago? Like 5 seconds? If I didn't type anything for 5 seconds, presumably I am not in the middle of typing a command. Although I may be thinking about title wording.