diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2019-11-21 14:25:07 +0100 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2019-11-21 14:25:07 +0100 |
| commit | e6b33ac8b8869ad5741685932bbc14f7ae9efad9 (patch) | |
| tree | cad09bd5c31422a1d3e9329bed4e8efc27f02c9b /src/runtime/java/org | |
| parent | 14e5528544462d9b3645da7a91120e418cc3a28b (diff) | |
Minibar: make it possible to configure a list of preferred grammars
A preferred grammar is selected when a user visits the Minibar for the
first time. (Like before, Minibar remembers the selected grammar for future
visits.)
A preferred list of grammars can be specified in config.js in the .../minibar
directory on the server, e.g. like this:
preferred_grammars=["/grammars/Foods.pgf","/grammars/ResourceDemo.pgf"]
The first available grammar from the list is used.
Diffstat (limited to 'src/runtime/java/org')
0 files changed, 0 insertions, 0 deletions