diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-10 13:14:42 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-10 13:14:42 +0000 |
commit | b2fda763e66f354ed6dcbe93ac18ebee32d69c21 (patch) | |
tree | 26708e46d68aab7f6be2e621f116f2de252ce572 /lego | |
parent | be56a913dabd38992942cc94edb4d085195f6b97 (diff) |
Removed traces of support for Ruy's legogrep. This is superseded by legotags.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 25 |
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 |