diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-17 08:49:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-17 08:49:31 +0000 |
| commit | 563299085d0e556b6c383f5ddfc6c8d7673c5bca (patch) | |
| tree | 92ec991f8e431f86a59bd9f19cfc8841a01eec95 | |
| parent | b037fa2b327b115fb672cfee68951afd93a898f6 (diff) | |
minibar: syntax editor integration bug fix
The minibar has the alternative "All" in the target language menu. This should
not be included when transfering to the syntax editor.
| -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) { |