gfse: add access to the syntax editor

via the minibar
2026-05-03 00:02:50 -06:00 · 2013-04-23 13:55:00 +00:00
parent 2639dc67b1
commit 1146b94685
2 changed files with 9 additions and 2 deletions
--- a/src/www/minibar/minibar.js
+++ b/src/www/minibar/minibar.js
@@ -92,6 +92,7 @@ Minibar.prototype.integrate_syntax_editor=function() {
 	var languages=filter(not_all,minibar.translations.toLangs)
 	var editor_options = {
 	    target: editor_target,
+            show_grammar_menu: minibar.grammars.length>1,
 	    show_startcat_menu: minibar.input.options.startcat_menu,
 	    initial: { grammar: minibar.grammar_menu.value, // hmm
 		       startcat: minibar.input.startcat_menu.value, // hmm