From c1dfa794d88a256f17b42adae220df694c5e4ea3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 20 Mar 2001 17:39:20 +0000 Subject: strange buffer selection bug reported by Markus --- BUGS | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/BUGS b/BUGS index 86ba12e6..ec72973a 100644 --- a/BUGS +++ b/BUGS @@ -77,9 +77,12 @@ simplifier, when tracing rewriting. Workaround: manually bind C-c RET to 'proof-goto-point instead. +** Active minibuffer can cause strange buffer selection behaviour. - - +Try this: start PG/isar, step into a proof, activate a mini buffer (by +visit-file etc.), now update goals output by clicking the toolbar. PG +will attempt to put the output into the minibuffer portion of the +frame! To get back to a sane state, use C-] * Problems with particular Emacs versions -- cgit v1.2.3