diff options
| -rw-r--r-- | generic/proof-toolbar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index b493aa8c..d9cbdeb4 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -156,9 +156,9 @@ to the default toolbar." (proof-shell-available-p) (> (proof-unprocessed-begin) (point-min))))) -;; Lockedend +;; Home -(defalias 'proof-toolbar-lockedend 'proof-goto-end-of-locked) +(defalias 'proof-toolbar-home 'proof-goto-end-of-locked) ;; Next |