diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/minibar.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index a7a368ae4..4ce866867 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -85,12 +85,14 @@ Minibar.prototype.integrate_syntax_editor=function() { e.style.display="none" minibar.options.abstract_action=function(tree) { + function not_all(s) { return s!="All" } + var languages=filter(not_all,minibar.translations.toLangs) var editor_options = { target: editor_target, show_startcat_menu: minibar.input.options.startcat_menu, initial: { grammar: minibar.grammar_menu.value, // hmm startcat: minibar.input.startcat_menu.value, // hmm - languages: minibar.translations.toLangs, // hmm + languages: languages, abstr: tree }, lin_action: function(new_input,langFrom) { |