Hendrik Tews <[email protected]> writes: I don't think using defpacustom for project-filename is a good idea. This way it appears in the menu and when you enable it, coq-project-filename is set to t.
I fixed the t setting with fixing the :type of coq-project-filename. Now it can stay in the menu (although I would not put it into a menu). Can defpacustom handle string options, such that the user is queried for a string, when he enables the menu entry? Yes, if you use :type 'string Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
