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
..
codeeditor.scss	Oops i actually made the tabs wrong (#1384)	2024-12-04 13:49:14 -08:00
codeeditor.tsx	Extra Font Size Controls (#1537)	2024-12-16 18:23:42 -08:00
yamlworker.js	get json/yaml validation working (#1032)	2024-10-14 18:18:58 -07:00