User experience with query panel

[eponier]

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]

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]

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]

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]

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]

Great job @rtetley, thanks for the effort!