wenzelm [Fri, 04 Apr 2025 20:31:57 +0200] rev 82435
more robust: make double-sure that get_text does not crash (see on non-existent file);
wenzelm [Fri, 04 Apr 2025 19:52:52 +0200] rev 82434
more uniform treatment of open buffer vs. loaded file (NB: setCaretPosition includes selectionNone);
wenzelm [Fri, 04 Apr 2025 17:31:05 +0200] rev 82433
proper hyperlink column (amending 6898054035d6);
wenzelm [Fri, 04 Apr 2025 16:35:05 +0200] rev 82432
tuned: setCaretPosition already includes selectNone;
wenzelm [Fri, 04 Apr 2025 15:23:11 +0200] rev 82431
tuned signature;
wenzelm [Fri, 04 Apr 2025 15:18:04 +0200] rev 82430
clarified history: eliminate pointless var _current;
wenzelm [Fri, 04 Apr 2025 15:02:49 +0200] rev 82429
clarified target position: line start + offset (or column);
more uniform treatment of open buffer vs. loaded file;
wenzelm [Fri, 04 Apr 2025 14:46:38 +0200] rev 82428
tuned source structure;
wenzelm [Fri, 04 Apr 2025 11:37:27 +0200] rev 82427
eliminated patch: imitate jEdit.gotoMarker more directly;
wenzelm [Fri, 04 Apr 2025 11:21:01 +0200] rev 82426
tuned;