diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 258d501b..87b36e2f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -238,6 +238,14 @@ goals and response windows to fit their contents." :type 'boolean :group 'proof-user-options) +(defcustom proof-auto-raise-buffers t + "*If non-nil, automatically raise buffers to display latest output. +If this is not set, buffers and windows will not be managed by +Proof General." + :type 'boolean + :group 'proof-user-options) + + (defcustom proof-query-file-save-when-activating-scripting t "*If non-nil, query user to save files when activating scripting. @@ -404,6 +412,16 @@ signals to the remote host." :type 'boolean :group 'proof-user-options) +;; TODO: add doc +(defcustom proof-full-decoration nil + "*Non-nil causes Proof General to add hovers for all proof commands. +Proof output is recorded as it occurs interactively; normally if +many steps are taken at once, this output is surpressed. If this +setting is used to enable it, the proof script will be annotated +with full details." + :type 'boolean + :group 'proof-user-options) + |