reverted 2abbe7d700e9: "state" output is not necessarily proof state;

--- a/src/Tools/jEdit/src/rendering.scala	Sat Nov 21 19:38:14 2015 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Sat Nov 21 20:12:36 2015 +0100
@@ -686,7 +686,7 @@
     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
   }