src/Tools/jEdit/src/rendering.scala

   def output_messages(results: Command.Results): List[XML.Tree] =
   {
     val (states, other) =
       results.iterator.map(_._2).filterNot(Protocol.is_result(_)).toList
         .partition(Protocol.is_state(_))
-    if (options.bool("editor_output_state")) states ::: other else other
+    states ::: other
   }
 
 
   /* text background */