diff options
| author | hallgren <hallgren@chalmers.se> | 2016-06-09 14:20:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-06-09 14:20:24 +0000 |
| commit | 18f17ba857dbcdff789410e98f95dd30c6786021 (patch) | |
| tree | 1aff61e6cbe2bd0ef04360cf48741f8f5e9695a8 /src/runtime/javascript/style.css | |
| parent | 096b4cfceea03007ae1ac7d46080c2a5f8e99688 (diff) | |
minibar: define grammar_list in config.js to restrict the grammar menu
minibar.html now reads config.js and if it defines grammar_list, only the
grammars listed there will show up in the grammar menu.
Diffstat (limited to 'src/runtime/javascript/style.css')
0 files changed, 0 insertions, 0 deletions