9 Commits

Author	SHA1	Message	Date
Laurenz	ad347632ab	Make ligatures copyable and searchable ... Fixes #479 Fixes #1040	2023-05-03 10:33:18 +02:00
Laurenz	c913271b29	Fix crash for jump to outdated span	2023-03-21 12:55:39 +01:00
Laurenz	ab43bd802e	Renaming and refactoring	2023-03-19 22:39:19 +01:00
Laurenz	312197b276	Counters	2023-03-17 11:45:57 +01:00
Laurenz	e8435df5ec	More jump targets	2023-03-17 11:30:58 +01:00
Laurenz	ecb5543985	Node links	2023-03-15 12:33:38 +01:00
Laurenz	5800acceac	Consider glyph side when determining cursor position	2023-03-12 22:59:39 +01:00
Laurenz	a735bb9db3	Jump to destination	2023-03-12 14:28:24 +01:00
Laurenz	ca6edf5283	Jump to source and preview	2023-03-11 23:29:32 +01:00