From 3c900ee6a3a31ba8a438d876ad8cfd352e97608a Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 29 Nov 2012 19:15:30 +0000
Subject: minibar: add a button to get detailed grammar info

After pressing the "i" button to view grammar info, there is now a
"More info" button to get more detailed information about all categories and
functions in the grammar.
---
 src/www/minibar/about.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/www/minibar/about.html')

diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index cfc367c7c..c30884078 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -217,11 +217,15 @@ Some implementation details:
  <li>[Added 2012-11-23] Added support for switching back and forth between the
      minibar and the new syntax tree editor. The default configuration in
      <code>minibar_online.js</code> shows how to enable it.
+  <li>[Added 2012-11-29] After pressing the <strong>i</strong> button to view
+      grammar info, there is now a <strong>More info</strong> button to get
+      more detailed information about all categories and functions in the
+      grammar.
 </ul>
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Thu Nov 29 17:02:43 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Thu Nov 29 20:13:55 CET 2012 <!-- hhmts end -->
 </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
-- 
cgit v1.2.3