From 4e201c339ab1ba9c7960caa05975741a63e56bf2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:53:40 +0000
Subject: Note about window dedicated problem.

---
 generic/proof.el | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'generic')

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'.
-- 
cgit v1.2.3