Search commands take a long time, and while they run the
Output tab is empty. When
Search yields no result, the tab stays empty, making it hard (impossible?) to distinguish whether the command is just taking very long or whether it was unsuccessful. Any workarounds for that?
On a similar note: because the output of
Search in case it errors is not displayed, it is also hard to distinguish between a failing
Search and one that succeeds but leads no results.
Vscoq displays the stop button (in the status bar) when commands are running more than... 1s
(unless it got "out of sync" with coq, but then it's time for "reload window")
Last updated: Jun 04 2023 at 23:30 UTC