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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
