diff options
| -rw-r--r-- | generic/proof-config.el | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 7298e7b8..1f95e35a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -173,6 +173,15 @@ experienced Emacs users." :type 'boolean :group 'proof-user-options) +(defcustom proof-multiple-frames-enable nil + "*Whether response and goals buffers have separate frames. +If non-nil, Emacs will make separate frames (screen windows) for +the goals and response buffers, by altering the variable +`special-display-regexps'." + :type 'boolean + :set 'proof-set-bool + :group 'proof-user-options) + (defcustom proof-auto-delete-windows nil "*If non-nil, automatically remove windows when they are cleaned. @@ -1663,12 +1672,6 @@ X-Symbol support is deactivated." - - - - - - ;; ;; 9. Global constants |