| Age | Commit message (Collapse) | Author |
|---|
|
|
|
with pgf_online.js
This makes the minibar offline demo work again.
|
|
words when possible
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.
|
|
Also include the GF logo on the cloud service start page.
|
|
Document recent additions in minibar/about.html.
|
|
This functionality was available in the origial Fridge Poetry app, but has been
missing in minibar until now.
|
|
word-for-word replacment on or off
|
|
The current intput is now represented as an array of words instead of as a
string.
(This is the kind of change is scary to do in a dynamically type language
like JavaScript. In a statically typed language like Haskell you can do it
with confidence, since you know the compiler can help you catch all mistakes...)
|
|
Get rid of list of previous states, which was only used to delete the last
word.
|
|
as the other functions
Also document it in gf-web-api-examples.html.
|
|
There are still some user interface wrinkles to iron out.
|
|
If you leave the minibar and later return, the previous input will be
restored. One input string per grammar is rememebered, so you can also switch
back and forth between grammars without losing the input.
This is implemented using localStorage, i.e. the data is stored locally on
the user's device.
|
|
Instead of trying to reconstruct the abstract tree from the bracketed string,
use the node numbers (the field called "fid") to identify which node in the
abstact syntax tree a word in the bracketed string corresponds to.
|
|
lack it
|
|
|
|
You can also add grammars from several directories on the same server of course.
The included minibar configuration file adds the user's own grammars from the
grammar editor.
|
|
+ Function div_id was defined in both editor.js and support.js. Solution:
moved the more general version from editor.js to support.js.
+ Function div_class was defined in both editor.js and support.js. Solution:
resolv incompatibility with an argument type test and put the generalized
function in support.js.
|
|
Check that the reconstructed abstract syntax tree is type correct before
enabling word-for-word replacement. Show an error message if word replacement
nevertheless fails.
|
|
To enable customized error handling, the methods in the pgf_online objects and
the AJAX server call functions in support.js accept an error callback function
as an extra argument, in addition to the callback (continuation) for normal
results.
|
|
Turn off the highlighting that indicates that word-for-word replacement is
enabled when it is no longer available (e.g if a word is deleted and there no
longer is a complete parse).
|
|
It seems that in Gecko browsers, the effect of "with(x) stmts" reaches inside
the bodies of local functions in stmts, but in Webkit browers it does not.
|
|
the current grammar list
|
|
to the minibar
|
|
The new functionality also needs some new PGF service functionality, which will
be provided in a separate patch.
|
|
for abstract synax trees, parse trees and word alignment diagrams.
|
|
that the user should select a language from the To: menu to suggest a better
translation to a particular language.
|
|
|
|
|
|
|
|
|
|
Two methods used the global variable p instead of declaring a local variable p.
This caused the function p (that constructs HTML <p> elements) in support.js
to suddenly be redefined as a number.
|
|
|
|
|
|
The minibar is now displayed inside the editor, intead of on a separate page.
This makes the context clearer and makes it more obiovous how to return to the
editor.
|
|
|
|
The grammar that the user is currently working is now the one shown initially
in minibar, instead of the first grammar in alphabetical order.
Also GFServer.hs now removes absolute paths to the grammar files on the server in error messages from GF returned to to gfse.
|
|
+ The start category menu can be turned off by passing the option
{startcat_menu:false} when starting the minibar.
+ Documentation updates.
|
|
|
|
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
|
