Christoph Horn 9be810fd01 add missing `ui.menu` to themes, fix issues with some themes		2022-05-20 10:32:59 +09:00
..
grammars	Dynamically load grammar libraries at runtime	2021-07-14 10:00:05 +09:00
queries	Python highlight decorator attribute	2022-05-20 10:28:52 +09:00
themes	add missing `ui.menu` to themes, fix issues with some themes	2022-05-20 10:32:59 +09:00
tutor.txt	Extend tutor file (#2133)	2022-04-29 09:52:11 +08:00