You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jonathan Lebon 4726ae9df6 Sonokai theme: style secondary selections differently (#5440) ... Without styling the primary and secondary selections differently, it's impossible to tell them apart when cycling through selections. Make the primary selection slightly brighter and secondary selections slightly paler.		2 years ago
..
grammars	Dynamically load grammar libraries at runtime	3 years ago
queries	Support sagemath language (#5649)	2 years ago
themes	Sonokai theme: style secondary selections differently (#5440)	2 years ago
tutor	tutor: Change "Type" to "Press" for specials keys and modifiers (#5609)	2 years ago