diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:28:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-07 14:28:52 +0000 |
| commit | 5d49a091228aa2bebdc4fc6eeda7bbc93410a470 (patch) | |
| tree | cb521f660862a8c5a494eac63e761802de79349b /generic/proof-toolbar.el | |
| parent | 08599bb05f7ecb49f83d1e9932df012b1b5bcd06 (diff) | |
Rename lockedend -> home
Diffstat (limited to 'generic/proof-toolbar.el')
| -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 |