| Fri, 04 Apr 2025 10:54:37 +0200 | wenzelm | unused; | file | diff | annotate |
| Wed, 02 Apr 2025 23:18:12 +0200 | wenzelm | support goto_file / hyperlink_file with offset; | file | diff | annotate |
| Wed, 02 Apr 2025 13:39:12 +0200 | wenzelm | more accurate navigator position; | file | diff | annotate |
| Tue, 01 Apr 2025 11:59:07 +0200 | wenzelm | support for navigation, independently of Navigator plugin; | file | diff | annotate |