Hendrik Tews <hend...@askra.de> 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

ProofGeneral-devel mailing list

Reply via email to