mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-02 18:39:05 +01:00
29acdc6eff
* clientsettings fixups -- border top, padding, and remove theme dropdown for prod * new cmdinput actions, get the filter commands showing, titlebars for info history and info aichat, toggles for history |
||
---|---|---|
.. | ||
fontawesome | ||
fonts | ||
logos | ||
themes | ||
bulma-0.9.4.min.css | ||
index-dev.html | ||
index.html | ||
Prompt.icns | ||
waveterm.icns |