# HG changeset patch
# User wenzelm
# Date 1448133156 -3600
# Node ID 6f1a84d78865dd2e350c1884e765c17b60497e46
# Parent  04f8564d69830c0e539860353a15df1872a8cd8e
reverted 2abbe7d700e9: "state" output is not necessarily proof state;

diff -r 04f8564d6983 -r 6f1a84d78865 src/Tools/jEdit/src/rendering.scala
--- 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
   }