mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-03-09 13:00:53 +01:00
* use Dropdown element in history view * use elements for filters * fix for selected and hovered color |
||
---|---|---|
.. | ||
default.css | ||
light.css | ||
term-dark.css | ||
term-default.css | ||
term-light.css |