gfse: added grammar cloning

1 files changed, 11 insertions, 1 deletions

diff --git a/src/editor/simple/editor.js b/src/editor/simple/editor.js
index 3b1a9a486..64efd4ab1 100644
--- a/src/editor/simple/editor.js
+++ b/src/editor/simple/editor.js
@@ -37,12 +37,15 @@ function draw_grammar_list() {
     editor.appendChild(home)
     var gs=ul([]);
     function del(i) { return function () { delete_grammar(i); } }
+    function clone(i) { return function (g,b) { clone_grammar(i); } }
     for(var i=0;i<local.count;i++) {
 	var grammar=local.get(i,null);
 	if(grammar && grammar.basename) {
 	    var link=a(jsurl("open_grammar("+i+")"),[text(grammar.basename)]);
 	    gs.appendChild(
-		li([deletable(del(i),link,"Delete this grammar")]))
+		node("li",{"class":"extensible"},
+		     [deletable(del(i),link,"Delete this grammar"),
+		      more(grammar,clone(i),"Clone this grammar")]))
 	}
     }
     if(local.get("count",null)==null)
@@ -80,6 +83,13 @@ function delete_grammar(i) {
     }
 }
 
+function clone_grammar(i) {
+    var old=local.get(i);
+    var g={basename:old.basename,abstract:old.abstract,concretes:old.concretes}
+    save_grammar(g);
+    draw_grammar_list();
+}
+
 function open_grammar(i) {
     var g=local.get(i);
     g.index=i;