Adjust comment

1 files changed, 4 insertions, 6 deletions

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 9fc399a8..2c77ec24 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -43,12 +43,10 @@ If in three window or multiple frame mode, display two buffers.
 The idea of this function is to change the window->buffer mapping
 without adjusting window layout."
   (interactive)
-  ;; The GUI-tessence here is to implement a humane toggle, which
-  ;; allows habituation.  E.g. two taps of C-c C-l always
-  ;; shows the goals buffer, three the trace buffer, etc.
-  ;; (That behaviour makes less sense from the menu, though,
-  ;;  where it seems more natural just to rotate from last
-  ;;  position)
+  ;; Idea: a humane toggle, which allows habituation.  
+  ;; E.g. two taps of C-c C-l always shows the goals buffer, three the
+  ;; trace buffer, etc.  (Makes less sense from the menu, though, 
+  ;; where it seems more natural just to rotate from last position)
   (cond
    ((and (interactive-p)
 	 (eq last-command 'proof-display-some-buffers))