mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
c5d4a0e1f3
* convert table to div * remove comment * more history UI updates. copy/use controls, change font, fix scroll area * use css variables * fix textfield placeholder color * put back input styles * change overflow-x to auto |
||
---|---|---|
.. | ||
fontawesome | ||
fonts | ||
logos | ||
themes | ||
bulma-0.9.4.min.css | ||
index-dev.html | ||
index.html | ||
Prompt.icns | ||
waveterm.icns |