aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego
diff options
context:
space:
mode:
authorGravatar Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>1998-11-10 13:14:42 +0000
committerGravatar Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>1998-11-10 13:14:42 +0000
commitb2fda763e66f354ed6dcbe93ac18ebee32d69c21 (patch)
tree26708e46d68aab7f6be2e621f116f2de252ce572 /lego
parentbe56a913dabd38992942cc94edb4d085195f6b97 (diff)
Removed traces of support for Ruy's legogrep. This is superseded by legotags.
Diffstat (limited to 'lego')
-rw-r--r--lego/lego.el25
1 files changed, 2 insertions, 23 deletions
diff --git a/lego/lego.el b/lego/lego.el
index 8fd09c64..8821591a 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -185,28 +185,11 @@
;; Code that's lego specific ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; Martin Steffen <mnsteffe@informatik.uni-erlangen.de> has pointed
-;; out that calling lego-get-path has to deal with a user who hasn't
-;; set the environmental variable LEGOPATH. It is probably best if
-;; lego is installed as a shell script which sets a sensible default
-;; for LEGOPATH if the user hasn't done so before. See the
-;; documentation of the library for further details.
-
-(defun lego-get-path ()
- (let ((path-name (getenv lego-path-name)))
- (cond ((not path-name)
- (message "Warning: LEGOPATH has not been set!")
- (setq path-name ".")))
- (proof-string-to-list path-name lego-path-separator)))
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; This is how to work out what the undo commands are, given the ;;
-;; first span which needs to be undone ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
;; needs to handle Normal as well
;; it should ignore Normal TReg Normal VReg and (Normal ...)
(defun lego-count-undos (span)
+ "This is how to work out what the undo commands are.
+Given is the first SPAN which needs to be undone."
(let ((ct 0) str i)
(while span
(setq str (span-property span 'cmd))
@@ -428,10 +411,6 @@
("lego" . lego-tags))
tag-table-alist)))
-;; where to find files
-
- (setq compilation-search-path (cons nil (lego-get-path)))
-
(setq blink-matching-paren-dont-ignore-comments t)
;; font-lock