diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 12:56:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 12:56:36 +0000 |
commit | 0510b934544e2f46e60e051a4f83eec5f11b8676 (patch) | |
tree | e6ba81d2c24c1812041b79239a215f9fd2da6aa2 /isar/isar-syntax.el | |
parent | 2954ca8d555af6290aa7b94b09ccebe276b466be (diff) |
Remove yank-handler experiment, in favour of buffer-substring-filters
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 16 |
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))) |