diff options
| author | David Aspinall | 2009-05-26 12:40:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 12:40:07 +0000 |
| commit | 10b324943a44e2925ad7c8850bc84db8aee4be0e (patch) | |
| tree | 48b5ffc2b76031cb7e2615e7f8828d34b007fce0 | |
| parent | e0142f75d0c3e0061b65ed69b74351913c6aa0c9 (diff) | |
Set strip-output-function for pasting. Adjust font-lock handling to
cope with very long multiline matches.
| -rw-r--r-- | isar/isar.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 2281f3f0..e5354157 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -196,6 +196,7 @@ See -k option for Isabelle interface script." proof-shell-eager-annotation-start-length 2 proof-shell-eager-annotation-start "\^AI\\|\^AK" proof-shell-eager-annotation-end "\^AJ\\|\^AL" + proof-shell-strip-output-markup 'isar-strip-output-markup ;; Isabelle is learning to talk PGIP... proof-shell-match-pgip-cmd "<pgip" @@ -562,6 +563,9 @@ Checks the width in the `proof-goals-buffer'" (isar-init-output-syntax-table) (setq proof-response-font-lock-keywords isar-output-font-lock-keywords-1) + (setq font-lock-multiline t) + (make-local-variable 'jit-lock-chunk-size) + (setq jit-lock-chunk-size 2000) (proof-response-config-done)) (defun isar-goals-mode-config () @@ -570,6 +574,9 @@ Checks the width in the `proof-goals-buffer'" (isar-init-output-syntax-table) (setq proof-goals-font-lock-keywords isar-goals-font-lock-keywords) + (setq font-lock-multiline t) + (make-local-variable 'jit-lock-chunk-size) + (setq jit-lock-chunk-size 2000) (proof-goals-config-done)) (provide 'isar) |