From 41c4dc9b22c28832fd8d0a7b99e2412bc8eff2ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:53:29 +0000
Subject: FIXME added

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

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 60f52fef..d294c053 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -218,6 +218,8 @@ to the default toolbar."
   "Flag indicating that the toolbar should be refreshed.")
 
 ;; &rest args needed for after change function args
+;; FIXME: don't want to do this in every buffer, really;
+;; we'll have proof-toolbar-refresh-flag defined everywhere.
 (defun proof-toolbar-refresh (&rest args)
   "Set flag to indicate that the toolbar should be refreshed."
   (setq proof-toolbar-refresh-flag t))
-- 
cgit v1.2.3