gf-core.git/src/www/minibar/minibar.html, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2018-10-10T12:22:24+00:00 Comment out links to some old demos that no longer work 2018-10-10T12:22:24+00:00 Thomas Hallgren th-github@altocumulus.org 2018-10-10T12:22:24+00:00 urn:sha1:6b1e21508e5719edf34798d4348be1aa5f0f12f6 minibar: define grammar_list in config.js to restrict the grammar menu 2016-06-09T14:20:24+00:00 hallgren hallgren@chalmers.se 2016-06-09T14:20:24+00:00 urn:sha1:18f17ba857dbcdff789410e98f95dd30c6786021 minibar.html now reads config.js and if it defines grammar_list, only the grammars listed there will show up in the grammar menu. minibar: speech output (experimental) (in browsers that support it) 2015-05-18T15:58:57+00:00 hallgren hallgren@chalmers.se 2015-05-18T15:58:57+00:00 urn:sha1:1edd58fff8d51d5725dbf79df0213cd8e6549e8c GF cloud: work on syntax editor integration 2013-04-12T18:29:15+00:00 hallgren hallgren@chalmers.se 2013-04-12T18:29:15+00:00 urn:sha1:d35790e656fe70f0fa258fb8fb84aa65f9887616 + The syntax editor is now accessible from the Simple Translaton Tool. + The minibar now automatically provides access to the syntax editor (provided the necessary JavaScript files and style sheets have been loaded). + Preparations for making the syntax editor accessible from the grammar editor. minibar.html: add debug element 2013-04-11T11:47:06+00:00 hallgren hallgren@chalmers.se 2013-04-11T11:47:06+00:00 urn:sha1:59f9f9dd1742e5b50a0f6893fb88325d4e3bc1ea to allow debug output from the syntax editor when it is started from the minibar. Also fix broken markup. Simple Translation Tool: initial support for editing source segments in the minibar 2013-04-03T20:24:57+00:00 hallgren hallgren@chalmers.se 2013-04-03T20:24:57+00:00 urn:sha1:a22a419bc7ea0dc45f9965e6ffebf42417212d52 minibar_online.js: updated to launch Editor using a GrammarManager object 2012-11-23T15:07:51+00:00 john.j.camilleri john.j.camilleri@chalmers.se 2012-11-23T15:07:51+00:00 urn:sha1:22aeb04704dfe049b428f1649e1b195ae8b1ae27 minibar+syntax editor integration, work in progress 2012-11-21T15:07:59+00:00 hallgren hallgren@chalmers.se 2012-11-21T15:07:59+00:00 urn:sha1:8bd58a02970d3650b5b3efb6298f40529737c2d8 GF cloud: move support.js and pgf_online.js 2012-11-20T12:56:48+00:00 hallgren hallgren@chalmers.se 2012-11-20T12:56:48+00:00 urn:sha1:3eaeaed8fd741bb1f33c76032e7292df08b35a9f Created the folder js and moved minibar/support.js and minibar/pgf_online.js there, to emphasize their status as app independent support libraries. There are probably more files that should be moved here. The cloud apps have been updated, externally hosted apps that link directly to our server need to be updated too. minibar: word-for-word replacements: use concrete syntax for replacement words when possible 2012-04-27T14:00:01+00:00 hallgren hallgren@chalmers.se 2012-04-27T14:00:01+00:00 urn:sha1:c6c9b994d21af42a2dc7b8145967bf8c24bc2f7d Instead of showing the name of a function in the abstract syntax, linearize it and show the result. For functions with argument, e.g. That : Kind -> Item, the function is applied to the right number of placeholder arguments: 'That ?'. If the linearization fails, the name of the function is shown anyway.