Hi,

I just noticed that there are a view boolean settings in the Coq
menu which are not done via defpacustom and which are therefore
not in the Settings submenu. Is there a reason, why "Toggle
tooltips", "Electric Terminator" and "Double Hit Electric
Terminator" are not in the Settings submenu?

It might be good to have "Electric Terminator" in the main Coq
menu but the other two could go into Settings menu IMHO.

[I understand that "Toggle 3 Windows Mode" cannot be inside
Settings, as defpacustom cannot handle radio button style submenus.]

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to