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.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.js')
| -rw-r--r-- | src/www/minibar/minibar.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index 258de3078..51849fc91 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -101,7 +101,7 @@ Minibar.prototype.show_grammarlist=function(dir,grammar_names,dir_count) { if(t.timeout) clearTimeout(t.timeout),t.timeout=null; if(t.grammar_menu.length>1 && !t.grammar_menu.parentElement) { t.grammar_menu.onchange=pick; - insertFirst(t.menubar,button("i",bind(t.show_grammarinfo,t))) + insertFirst(t.menubar,title("Show grammar info",button("i",bind(t.show_grammarinfo,t)))) insertFirst(t.menubar,t.grammar_menu); insertFirst(t.menubar,text("Grammar: ")); } |