From 5d49a091228aa2bebdc4fc6eeda7bbc93410a470 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Aug 2009 14:28:52 +0000 Subject: Rename lockedend -> home --- generic/proof-toolbar.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/proof-toolbar.el') 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 -- cgit v1.2.3