Comments

1 files changed, 8 insertions, 4 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 0f188c24..976b3dd1 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -193,8 +193,7 @@ If QUEUEMODE is supplied, set the lock to that value."
 ;;
 
 (defcustom proof-shell-fiddle-frames t
-  "Non-nil if proof-shell functions should fire-up/delete frames.
-NB: this is a temporary config variable, it will be removed at some point!"
+  "Non-nil if proof-shell functions should fire-up/delete frames like crazy."
   :type 'boolean
   :group 'proof-shell)
 
@@ -840,12 +839,11 @@ used in `proof-add-to-queue' when we start processing a queue, and in
       (setq proof-shell-expecting-output t))))
 
 
-;; ============================================================
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Code for manipulating proof queue
 ;;
 
-
 (defun proof-shell-action-list-item (cmd callback &optional flags)
   "Return action list entry run CMD with callback CALLBACK and FLAGS.
 The queue entry does not refer to a span in the script buffer."
@@ -978,6 +976,12 @@ The queue mode is set to 'advancing"
   (proof-set-queue-endpoints (proof-unprocessed-begin) end)
   (proof-add-to-queue queueitems 'advancing))
 
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; MAIN LOOP
+;;
+
 (defun proof-shell-exec-loop ()
   "Main loop processing the `proof-action-list', called from shell filter.