suppress already persistent state output as well;

--- a/src/Tools/jEdit/src/rendering.scala	Sun Nov 08 14:41:07 2015 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Mon Nov 09 13:49:29 2015 +0100
@@ -678,7 +678,7 @@
     val (states, other) =
       results.iterator.map(_._2).filterNot(Protocol.is_result(_)).toList
         .partition(Protocol.is_state(_))
-    states ::: other
+    if (options.bool("editor_output_state")) states ::: other else other
   }