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 |