From 079c2af30722121131e7b7756130ab01548ef741 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 15:06:37 +0000
Subject: Toolbar fixes.

---
 CHANGES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES b/CHANGES
index ffad6363..e4863c7e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,8 @@
 
 ** Generic Changes
 
+*** Bug fix: "next" button enabled more often.  Solaris turns off enablers.
+
 *** Menu reorganization, including new proof assistant specific menus.  
 
   Specific menus added for Coq, LEGO, Isabelle.
-- 
cgit v1.2.3