diff options
author | 2000-05-25 17:50:41 +0000 | |
---|---|---|
committer | 2000-05-25 17:50:41 +0000 | |
commit | 01f147dfa568889b00ef83ced7e77c494e5c3bfc (patch) | |
tree | 4f143c521d5b9a33c28fa3688f586195e0940f92 /html | |
parent | 758aa773bce5c792ca70fe36ad9333aec93fc1bb (diff) |
Second toolbar patch in 3.1.6 now.
Diffstat (limited to 'html')
-rw-r--r-- | html/news.phtml | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/html/news.phtml b/html/news.phtml index fe34f828..9c6911f9 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -10,9 +10,15 @@ <p> Minor patch 3.1.6 released today. This turns off toolbar enablers if you're running XEmacs on Solaris; because of strange Solaris problems, -buttons are disabled too often there. (You can easily live without -this patch by customizing the variable -<tt>proof-toolbar-use-button-enablers</tt>). +buttons are disabled too often there. (You can live without +this part of the patch by customizing the variable +<tt>proof-toolbar-use-button-enablers</tt>). +The patch also removes +the use of an "interval timer" when +<tt>proof-toolbar-use-button-enablers</tt> is off, since a user +reported being unable to start itimers unless +running as root (likely an operating system configuration problem). +Thanks to Markus Wenzel and Pierre Lescanne for reporting problems. </p> <li><b>9th May 2000</b> <p> |