From eb013c0b06481050d3a209b7763ced8be9787e76 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 29 Aug 2013 20:36:06 +0000 Subject: almost functional version of the javascript runtime --- src/runtime/javascript/gfjseditor.js | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) (limited to 'src/runtime/javascript/gfjseditor.js') diff --git a/src/runtime/javascript/gfjseditor.js b/src/runtime/javascript/gfjseditor.js index 154d624cb..de0ad67fa 100644 --- a/src/runtime/javascript/gfjseditor.js +++ b/src/runtime/javascript/gfjseditor.js @@ -222,10 +222,10 @@ function getTree(tree, level) { htmlTree.push("
  • "); if (tree.hasChildren()) { htmlTree.push(""); } else { @@ -359,7 +359,7 @@ function editFrameKeyDown(me,lang,event) { else parseTrees = [new Fun(string)]; break; - default: parseTrees = grammar.concretes[lang].parser.parseString(string, node.cat); break; + default: parseTrees = grammar.concretes[lang].parseString(string, node.cat); break; } if (parseTrees.length == 1) { pushUndoClearRedo(); @@ -607,13 +607,8 @@ function showActions(caption) { actions.push(createAction("Wrap", "action", "SingleWordCommand Wrap", "W")); } - for (var i in grammar.concretes) { - if (grammar.concretes[i].parser) { - actions.push(createAction("Parse", "action", "Command Parse IndefSgDet String_N", "P")); - } else { actions.push(createAction("Parse", "unavailable", "Command Parse IndefSgDet String_N", "P")); } - break; - } - + actions.push(createAction("Parse", "action", "Command Parse IndefSgDet String_N", "P")); + if (node && !abstractNode.isComplete()) { actions.push(createAction("RandomNode", "action", "RandomlyCommand Refine DefSgDet Node", "N")); } -- cgit v1.2.3