diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-29 16:05:42 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-29 16:05:42 +0000 |
| commit | 8c22a380f749514fdee246163bd4c7355b8f1faa (patch) | |
| tree | 2f1ad261d416076d82e82a16fac814369f9edc9e /src/www/minibar/minibar_translations.js | |
| parent | 8cefec807acd877145e7a46eb2d8d4dcac45af2d (diff) | |
minibar: add tool tips to some of the buttons
Also move the functions title and attr from editor/editor.js to js/support.js.
Also mention recent changes in minibar/about.html.
Diffstat (limited to 'src/www/minibar/minibar_translations.js')
| -rw-r--r-- | src/www/minibar/minibar_translations.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js index db0382d34..c5eaf6f4c 100644 --- a/src/www/minibar/minibar_translations.js +++ b/src/www/minibar/minibar_translations.js @@ -106,7 +106,8 @@ Translations.prototype.show_translations=function(translationResults) { self.options.abstract_action(t.tree) } var abs_hdr = options.abstract_action - ? button("Abstract",abs_act) + ? title("Edit the syntax tree", + button("Abstract",abs_act)) : text("Abstract: ") tbody.appendChild( tr([th(abs_hdr), @@ -122,7 +123,8 @@ Translations.prototype.show_translations=function(translationResults) { if(to=="All" || lin[i].to==to) { var langcode=langpart(lin[i].to,grammar.name) //var hdr=text(langcode+": ") - var hdr=button(langcode,act(lin[i])) + var hdr=title("Switch input language to "+langcode, + button(langcode,act(lin[i]))) //hdr.disabled=lin[i].to==current.from var btn=parsetree_button(t.tree,lin[i].to) tbody.appendChild(tr([th(hdr), |