src/Tools/jEdit/src/completion_popup.scala

           if (line_range.contains(text_area.getCaretPosition)) {
             JEdit_Lib.before_caret_range(text_area, rendering).try_restrict(line_range) match {
               case Some(range) if !range.is_singularity =>
                 val range0 =
                   Completion.Result.merge(Completion.History.empty,
-                    syntax_completion(Completion.History.empty, false, Some(rendering)),
+                    syntax_completion(Completion.History.empty, true, Some(rendering)),
                     Completion.Result.merge(Completion.History.empty,
                       path_completion(rendering),
                       Bibtex_JEdit.completion(Completion.History.empty, text_area, rendering)))
                   .map(_.range)
                 rendering.semantic_completion(range0, range) match {