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/syntax-editor/editor.js | |
| 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/syntax-editor/editor.js')
0 files changed, 0 insertions, 0 deletions