aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-syntax.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2009-05-26 12:56:36 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2009-05-26 12:56:36 +0000
commit0510b934544e2f46e60e051a4f83eec5f11b8676 (patch)
treee6ba81d2c24c1812041b79239a215f9fd2da6aa2 /isar/isar-syntax.el
parent2954ca8d555af6290aa7b94b09ccebe276b466be (diff)
Remove yank-handler experiment, in favour of buffer-substring-filters
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r--isar/isar-syntax.el16
1 files changed, 4 insertions, 12 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 6754dd9f..bef302fa 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -354,23 +354,15 @@ matches contents of quotes for quoted identifiers.")
(cons isar-antiq-regexp '(0 'font-lock-variable-name-face t))))
(put 'isar-goals-mode
- 'font-lock-extra-managed-props '(invisible sendback yank-handler))
+ 'font-lock-extra-managed-props '(invisible sendback))
(put 'isar-response-mode
- 'font-lock-extra-managed-props '(invisible sendback yank-handler))
-
-;; NB: yank-hanlder makes paste operations ignore invisible text;
-;; however, it is still in the ring and messy on the Edit menu.
-;(defconst isar-output-invisible-props
-; '(face nil invisible t yank-handler (ignore)))
-(defconst isar-output-invisible-props
- '(face nil invisible t))
+ 'font-lock-extra-managed-props '(invisible sendback))
(defun isar-output-flkprops (start regexp end props)
`(,(concat "\\(" start "\\)\\(" regexp "\\)\\(" end "\\)")
- (1 ',isar-output-invisible-props prepend)
+ (1 '(face nil invisible t) prepend)
(2 ',props prepend)
- (,(+ 3 (regexp-opt-depth regexp))
- ',isar-output-invisible-props prepend)))
+ (,(+ 3 (regexp-opt-depth regexp)) '(face nil invisible t) prepend)))
(defun isar-output-flk (start regexp end face)
(isar-output-flkprops start regexp end (list 'face face)))