diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-29 19:15:30 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-29 19:15:30 +0000 |
| commit | 3c900ee6a3a31ba8a438d876ad8cfd352e97608a (patch) | |
| tree | 3359fc45cdaebbcc9a7c269094ac7ccf5564e49c /src/www/minibar/about.html | |
| parent | 8c22a380f749514fdee246163bd4c7355b8f1faa (diff) | |
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.
Diffstat (limited to 'src/www/minibar/about.html')
| -rw-r--r-- | src/www/minibar/about.html | 6 |
1 files changed, 5 insertions, 1 deletions
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> |