User experience with query panel

coq / vscoq

Visual Studio Code extension for Coq

MIT License

336 stars 68 forks source link

User experience with query panel #759

Open eponier opened 6 months ago

eponier commented 6 months ago

I saw two problems with the user panel:

when it appears, it takes the focus, which means that we cannot press several shortcuts in a row
each query opens a new panel, I would prefer to have only one panel, updated each time a new query is made

alpaylan commented 3 months ago

I would like to point out an additional concern for the user experience.

When you call Print for an expression, the printed version is basically dumped as a sequence of tokens in the print box, which is not very readable if the expression is long.

Would it be possible to add pretty printing to the printing?

eponier commented 3 months ago

Hi @alpaylan, have you tried the latest version (2.1.3)? It is supposed to enhance printing, but maybe the query panel was forgotten in the update.

alpaylan commented 3 months ago

Hi @alpaylan, have you tried the latest version (2.1.3)? It is supposed to enhance printing, but maybe the query panel was forgotten in the update.

Hi @eponier,

Yes, I see the behavior I mentioned in the latest updated version 2.1.3. I have an Inductive type and its variants are printed sequentially. I haven't really tried it in many different scenarios though, maybe it has PP in other cases.

rtetley commented 1 month ago

Hey @alpaylan, you'll be happy to know that PP in the query panel will make the next release (following https://github.com/coq-community/vscoq/pull/861). Cheers !

alpaylan commented 1 month ago

Great job @rtetley, thanks for the effort!