summaryrefslogtreecommitdiff
path: root/src/www/syntax-editor/editor_menu.js
diff options
context:
space:
mode:
Diffstat (limited to 'src/www/syntax-editor/editor_menu.js')
-rw-r--r--src/www/syntax-editor/editor_menu.js5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor_menu.js b/src/www/syntax-editor/editor_menu.js
index 31927a26e..57000e551 100644
--- a/src/www/syntax-editor/editor_menu.js
+++ b/src/www/syntax-editor/editor_menu.js
@@ -28,8 +28,11 @@ function EditorMenu(editor,opts) {
multiple: "multiple",
class: "hidden"
}),
+ // wrap_button: button("Wrap", function(){
+ // t.editor.wrap();
+ // }),
clear_button: button("Clear", function(){
- t.editor.delete_refinement();
+ t.editor.clear_node();
}),
random_button: button("Random", function(){
t.editor.generate_random();