Yannick Forster (Jan 18 2022 at 10:28): Yannick Forster (Jan 18 2022 at 10:28):Some 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?
Meven Lennon-Bertrand (Jan 18 2022 at 11:59):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.
Paolo Giarrusso (Jan 18 2022 at 12:15):Vscoq displays the stop button (in the status bar) when commands are running more than... 1s
Paolo Giarrusso (Jan 18 2022 at 12:16):(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