Hi Pierre,

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. 

Can defpacustom handle string options, such that the user is
queried for a string, when he enables the menu entry?

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