proper selectMatch, e.g. relevant for S-click on gutter;
proper selectMatch, e.g. relevant for S-click on gutter;

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