gfse: some refactoring

2012-10-03 13:22:50 +00:00
parent a1d2d11057
commit 3582ae6e08
4 changed files with 38 additions and 44 deletions
@@ -1277,12 +1277,13 @@ function draw_opers(g,ci) {
 }

 function delete_lin(g,ci,fun) {
-    var i;
    var c=g.concretes[ci];
-    for(i=0;i<c.lins.length && c.lins[i].fun!=fun;i++);
-    if(i<c.lins.length) c.lins=delete_ix(c.lins,i);
-    timestamp(c);
-    reload_grammar(g);
+    var i=lin_index(c,fun);
+    if(i!=null) {
+	c.lins=delete_ix(c.lins,i);
+	timestamp(c);
+	reload_grammar(g);
+    }
 }

 /* -------------------------------------------------------------------------- */