|
grammars
|
Dynamically load grammar libraries at runtime
|
2021-07-14 10:00:05 +09:00 |
|
queries
|
Update slint grammar (#7893)
|
2023-08-13 09:18: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 |
