diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2017-01-19 11:40:28 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2017-01-19 11:40:28 +0100 |
| commit | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (patch) | |
| tree | ec19916cf72884ee83fc7f52d8c7d87b83ce767f /generic/proof-menu.el | |
| parent | 77c3f2eac868f177b73d2aa59b277e40fc48fd0c (diff) | |
save settings not defined with defpacustom (fixes #142)
- infrastructure for saving/resetting customizations not defined
with defpacustom
- improve Coq -> Auto Compilation menu
- polish documentation and manual
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d4e0f803..df617347 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -921,8 +921,10 @@ KEY is the optional key binding." (defun proof-settings-vars () "Return a list of proof assistant setting variables." - (mapcar (lambda (setting) (proof-ass-symv (car setting))) - proof-assistant-settings)) + (append + (mapcar (lambda (setting) (proof-ass-symv (car setting))) + proof-assistant-settings) + proof-assistant-additional-settings)) (defun proof-settings-changed-from-defaults-p () ;; FIXME: would be nice to add. Custom support? |