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
..
app	Extra Font Size Controls (#1537)	2024-12-16 18:23:42 -08:00
layout	Auditing async usage in frontend code (#1402)	2024-12-05 18:09:54 -08:00
types	Extra Font Size Controls (#1537)	2024-12-16 18:23:42 -08:00
util	Make default workspace icon the Wave logo (#1470)	2024-12-10 13:54:11 -08:00
wave.ts	add a refocus at the end of wave reinit (#1499)	2024-12-11 13:13:40 -08:00