summaryrefslogtreecommitdiff
path: root/src/runtime/javascript/gfjseditor.js
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2013-08-29 20:36:06 +0000
committerkr.angelov <kr.angelov@gmail.com>2013-08-29 20:36:06 +0000
commiteb013c0b06481050d3a209b7763ced8be9787e76 (patch)
tree381ea93644e82758f47bd1b2171943d3056722f8 /src/runtime/javascript/gfjseditor.js
parent1da6b2a34a29b591ba3765887a981e23e5605fbe (diff)
almost functional version of the javascript runtime
Diffstat (limited to 'src/runtime/javascript/gfjseditor.js')
-rw-r--r--src/runtime/javascript/gfjseditor.js17
1 files changed, 6 insertions, 11 deletions
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("<li>");
if (tree.hasChildren()) {
htmlTree.push("<img class='tree-menu'");
- if (tree.collapsed) {
+ if (tree.collapsed)
htmlTree.push(" src='plus.png'");
- }
- else { htmlTree.push(" src='minus.png'"); }
+ else
+ htmlTree.push(" src='minus.png'");
htmlTree.push(" onclick='signClick(\"", tree.name, "\", \"", tree.caption, "\")' />");
}
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"));
}