Stream: VsCoq devs & users

Topic: How to notice that `Search` yielded no output?


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Paolo Giarrusso (Jan 18 2022 at 12:15):

Vscoq displays the stop button (in the status bar) when commands are running more than... 1s

view this post on Zulip 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: Jan 30 2023 at 18:04 UTC