diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 6a8dc9f0..6e9bd299 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -12,7 +12,7 @@ (defcustom proof-toolbar-wanted t "*Whether to use toolbar in proof mode." :type 'boolean - :group 'proof) + :group 'proof-general) (defconst proof-toolbar-bare-button-list '(proof-toolbar-goal-button |