diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-26 11:32:46 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-26 11:32:46 +0100 |
| commit | cf290f2da6513c42ad57620136c7e6b6cebf8e11 (patch) | |
| tree | b1114d17e8c507bae32520851b468d1ac4770232 /generic/pg-vars.el | |
| parent | c6e44de22de8dfe7a5c9521201937a8302ec12c9 (diff) | |
| parent | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG into master_origin
Diffstat (limited to 'generic/pg-vars.el')
| -rw-r--r-- | generic/pg-vars.el | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 3aafa97d..8d93a60b 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -209,7 +209,25 @@ and the function `proof-assistant-format'. The TYPE item determines the form of the menu entry for the setting (this is an Emacs widget type) and the DESCR description string is used as a help tooltip in the settings menu. -This list is extended by the `defpacustom' macro.") +As TYPE's only the simple types boolean, integer, number and +string are supported (see `proof-menu-entry-for-setting'). Other +types will yield an error when constructing the proof assistant +menu from this list. + +Customizations defined with `defpacustom' are automatically added +to this list.") + +(defvar proof-assistant-additional-settings nil + "Additional proof assistant specific customizations (as list of symbols). +This variable should hold those proof assistant specific +customizations that are not included in +`proof-assistant-settings' but which should be saved/restored +with the save and reset settings menu entry in the proof +assistant menu. + +Customization variables are missing in `proof-assistant-settings' +when they have a type not supported by `defpacusom'.") + (defvar pg-tracing-slow-mode nil "Non-nil for slow refresh mode for tracing output.") |