gfse: when uploading/compiling a grammar, automatically upload inherited grammars as well

1 files changed, 6 insertions, 0 deletions

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