Sylvie Crowe 71961b373f Extra Font Size Controls (#1537) ... This adds: - "editor:fontsize" to modify the code editor's font size - "ai:fontsize" to modify the ai widget's font size (for general text) - "ai:fixedfontsize" to modify the ai widget's fixed font size (for code fragments)		2024-12-16 18:23:42 -08:00
..
defaultconfig	new bg theme (#1454)	2024-12-10 10:05:28 -08:00
filewatcher.go	panic handlers everywhere (#1327)	2024-11-20 18:05:13 -08:00
metaconsts.go	Extra Font Size Controls (#1537)	2024-12-16 18:23:42 -08:00
settingsconfig.go	Extra Font Size Controls (#1537)	2024-12-16 18:23:42 -08:00