diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 93aecb87..e70a8963 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -70,7 +70,7 @@ :type 'boolean :group 'proof-general)) -(defcustom proof-toolbar-follow-mode 'follow +(defcustom proof-toolbar-follow-mode 'locked "*Choice of how point moves with toolbar commands. One of the symbols: locked, follow, ignore. If locked, point sticks to the end of the locked region with toolbar commands. |