Jonatan Heyman 5f98323586 Add setting for turning on/off line number gutters and fold gutters		2023-01-27 17:18:31 +01:00
..
index.ts	Add setting for turning on/off line number gutters and fold gutters	2023-01-27 17:18:31 +01:00
theme-mode.ts	Move theme/mode related preload code into it's own module	2023-01-16 15:31:46 +01:00