diff options
Diffstat (limited to 'src/www/syntax-editor/editor_menu.js')
| -rw-r--r-- | src/www/syntax-editor/editor_menu.js | 5 |
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(); |
