diff options
| -rw-r--r-- | generic/proof.el | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index 5a7c6d9b..89678fdc 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -151,6 +151,14 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding (font-lock-append-text-property start end 'face face)) (buffer-substring start end)))) +;; FIXME da: this window dedicated stuff is a real pain and I've +;; spent ages inserting workarounds. Why do we want it?? +;; The latest problem is that with +;; (setq special-display-regexps +;; (cons "\\*Inferior .*-\\(goals\\|response\\)\\*" +;; special-display-regexps)) +;; I get the script buffer made into a dedicated buffer, +;; presumably because the wrong window is selected below? (defun proof-display-and-keep-buffer (buffer) "Display BUFFER and mark window according to `proof-window-dedicated'. |