mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-02 18:39:05 +01:00
01e4106aa7
* updates for historyinfo * cmdinput history fixups, scrollbars * work with scrollbars * create another drag region at the end of the tabs bar * updates for header -- change title drag area, fix corner rounding, tabs spacing, etc. |
||
---|---|---|
.. | ||
fontawesome | ||
fonts | ||
logos | ||
bulma-0.9.4.min.css | ||
index-dev.html | ||
index.html | ||
Prompt.icns | ||
waveterm.icns |