caret range of active text area counts as visible (e.g. relevant for Output after scrolling outside of text view);
caret range of active text area counts as visible (e.g. relevant for Output after scrolling outside of text view);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle