more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;