|
grammars
|
Dynamically load grammar libraries at runtime
|
2021-07-14 10:00:05 +09:00 |
|
queries
|
add strace highlighting (#7928)
|
2023-08-15 09:38:57 +02:00 |
|
themes
|
Add new Yellowed theme to default themes (#7849)
|
2023-08-09 14:02:30 +02:00 |
|
tutor
|
tutor: Delete space between shorthand (#6920)
|
2023-04-30 23:35:34 +02:00 |
