From 21f657a64a8e286fd779a0fa4aae799342a0fcce Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 17 Feb 2012 16:07:28 +0000 Subject: gfse: when uploading/compiling a grammar, automatically upload inherited grammars as well --- src/www/gfse/editor.js | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/www/gfse/editor.js') diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 940c3d54b..b630f69ab 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1015,6 +1015,12 @@ function defined_funs(g) { return all_defined_funs(g,inherited_gramamrs(g)) } function inherited_cats(g) {return all_inherited_cats(inherited_grammars(g),{})} function inherited_funs(g) {return all_inherited_funs(inherited_grammars(g),{})} +function upload(g,cont) { + var gs=inherited_grammars(g); + gs.push(g); + upload_grammars(gs,cont); +} + // inherited_grammars :: Grammar -> [Grammar] function inherited_grammars(g) { // Load the available grammars once -- cgit v1.2.3