diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 12:45:24 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 12:45:24 +0000 |
| commit | be5a313372fbafa13f8f45357b9ee3a84d18b10f (patch) | |
| tree | ea5812067a79d632dd26d8346f0edb4cfe1f3868 /src/www/syntax-editor/editor_menu.js | |
| parent | b5e8d06fba61bb9aaedf59b9fe162fa10f2a299d (diff) | |
Syntax editor: add tooltips to buttons
Diffstat (limited to 'src/www/syntax-editor/editor_menu.js')
| -rw-r--r-- | src/www/syntax-editor/editor_menu.js | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/www/syntax-editor/editor_menu.js b/src/www/syntax-editor/editor_menu.js index 2b9ee8d59..ea20710a4 100644 --- a/src/www/syntax-editor/editor_menu.js +++ b/src/www/syntax-editor/editor_menu.js @@ -54,6 +54,12 @@ function EditorMenu(editor,opts) { toggleHidden(element("debug")); }) }; + this.ui.to_toggle.title = "Select languages to linearise to (use Ctrl/Shift to select multiple)"; + this.ui.random_button.title = "Insert a randomly generated tree at the current node"; + this.ui.import.toggle.title = "Import an abstract syntax tree from a string (replaces current tree)"; + this.ui.export_button.title = "Get the string representation of the abstract syntax tree"; + this.ui.debug_toggle.title = "Toggle the debug console"; + if (t.options.show_grammar_menu) { appendChildren(t.container, [text(" Grammar: "), t.ui.grammar_menu]); t.ui.grammar_menu.onchange = function(){ @@ -62,7 +68,7 @@ function EditorMenu(editor,opts) { } } if (t.options.show_startcat_menu) { - appendChildren(t.container, [text(" Startcat: "), t.ui.startcat_menu]); + appendChildren(t.container, [text(" Start Category: "), t.ui.startcat_menu]); t.ui.startcat_menu.onchange = function(){ var startcat = t.ui.startcat_menu.value; t.gm.change_startcat(startcat); |