mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-02-28 03:42:50 +01:00
The web widget already had a zoom feature, but the help widget did not. This change ports the zoom feature so it is available on the help widget as well. |
||
---|---|---|
.. | ||
app | ||
layout | ||
types | ||
util | ||
wave.ts |