Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-02-15 01:32:17 +01:00
Code Issues Packages Projects Releases Wiki Activity
b6c0c38652
waveterm/frontend/types
History
sawka 945c63a3e5 add monokai, make themes more generic -- display:name/display:order
2024-08-29 21:35:33 -07:00
..
custom.d.ts new focus system part 1 (#290) 2024-08-29 16:06:15 -07:00
gotypes.d.ts add monokai, make themes more generic -- display:name/display:order 2024-08-29 21:35:33 -07:00