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.
This commit is contained in:
hallgren
2012-11-29 19:15:30 +00:00
parent c9522c0a37
commit 7b87169c76
3 changed files with 49 additions and 9 deletions

View File

@@ -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>