Lukas Wirth
|
97076c074d
|
internal: Simplify and optimize syntax_highlighting
|
2022-03-06 03:49:54 +01:00 |
|
Lukas Wirth
|
c5ceaefa09
|
Restructure syntax element highlighting
|
2021-09-30 21:44:56 +02:00 |
|
Aleksey Kladov
|
3d78f502bd
|
Use upstream TextSize API
|
2021-01-13 21:32:24 +03:00 |
|
Aleksey Kladov
|
fc3fc571d2
|
Cleaner API
|
2021-01-10 14:36:15 +03:00 |
|
Aleksey Kladov
|
8a0bd50036
|
Reduce duplication
|
2021-01-09 15:12:21 +03:00 |
|
Aleksey Kladov
|
e30c1c3fbf
|
Simplify highlighting infra
This also fixes the killer whale bug
|
2021-01-08 23:47:35 +03:00 |
|