From be5a313372fbafa13f8f45357b9ee3a84d18b10f Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 11 Jan 2013 12:45:24 +0000 Subject: Syntax editor: add tooltips to buttons --- src/www/syntax-editor/editor.js | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/www/syntax-editor/editor.js') diff --git a/src/www/syntax-editor/editor.js b/src/www/syntax-editor/editor.js index a8d280db5..0f4ab4d4d 100644 --- a/src/www/syntax-editor/editor.js +++ b/src/www/syntax-editor/editor.js @@ -47,6 +47,10 @@ function Editor(gm,opts) { lin: div_id("linearisations") }; + this.ui.clear_button.title = "Clear current node and all its children"; + this.ui.wrap_button.title = "Wrap the current node with a new function"; + this.ui.unwrap_button.title = "Replace parent of current node with current node (if possible)"; + appendChildren(this.container, [ t.ui.menubar, t.ui.tree, @@ -492,6 +496,9 @@ Editor.prototype.update_linearisation=function(){ var btn = button(langname, function(){ bind(t.options.lin_action,t)(lin,lang); }); + if (t.options.lin_action_tooltip) { + btn.title = t.options.lin_action_tooltip; + } var c1 = th(btn); var c2 = td(text(lin)); var row = tr([c1,c2]); -- cgit v1.2.3