| Fri, 04 Apr 2025 20:31:57 +0200 | wenzelm | more robust: make double-sure that get_text does not crash (see on non-existent file); | changeset | files |
| Fri, 04 Apr 2025 19:52:52 +0200 | wenzelm | more uniform treatment of open buffer vs. loaded file (NB: setCaretPosition includes selectionNone); | changeset | files |
| Fri, 04 Apr 2025 17:31:05 +0200 | wenzelm | proper hyperlink column (amending 6898054035d6); | changeset | files |
| Fri, 04 Apr 2025 16:35:05 +0200 | wenzelm | tuned: setCaretPosition already includes selectNone; | changeset | files |