waveterm/frontend/types
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
..
custom.d.ts Pass workspace id to contextmenu-show (#1429) 2024-12-06 19:10:34 -08:00
gotypes.d.ts Extra Font Size Controls (#1537) 2024-12-16 18:23:42 -08:00