Thomas Hallgren e6b33ac8b8 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.

2019-11-21 14:25:07 +01:00

..

about.html

Minibar: make it possible to configure a list of preferred grammars

2019-11-21 14:25:07 +01:00

align-btn.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

brushed-metal.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

example.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

feedback.cgi

feedback.cgi: exclude empty submission when showing the feedback list

2015-12-11 13:08:46 +00:00

feedback.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

minibar_input.js

minibar: adapt to changed bracket structure in linearization output

2013-11-06 16:45:24 +00:00

minibar_offline.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

minibar_offline.js

minibar_offline: Update the API exported by pgf_offline.js to be compatible with pgf_online.js

2012-04-30 13:53:55 +00:00

minibar_offline.manifest

minibar_offline: Update the API exported by pgf_offline.js to be compatible with pgf_online.js

2012-04-30 13:53:55 +00:00

minibar_online.js

Minibar: make it possible to configure a list of preferred grammars

2019-11-21 14:25:07 +01:00

minibar_support.js

Minibar: show word dependecy diagrams

2016-06-08 19:11:49 +00:00

minibar_translations.js

minibar_translations.js: remove dead code

2017-05-05 13:54:43 +00:00

minibar-api.html

some documentation updates and fixes

2012-11-27 14:11:47 +00:00

minibar.css

Minibar can now display grammar documentation.

2019-08-05 15:25:29 +02:00

minibar.html

Comment out links to some old demos that no longer work

2018-10-10 14:22:24 +02:00

minibar.js

Minibar: make it possible to configure a list of preferred grammars

2019-11-21 14:25:07 +01:00

pgf_offline.js

Fixes for minibar offline

2013-01-09 16:44:18 +00:00

phrasebook.html

minibar: fixes for phrasebook

2013-04-17 08:39:39 +00:00

saldotest.html

GF cloud: move support.js and pgf_online.js

2012-11-20 12:56:48 +00:00

saldotest.js

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

tree-btn.png

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00