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 /src | |
| 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.
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) { |