diff options
| author | bobzel <zzzman@gmail.com> | 2020-12-11 14:43:51 -0500 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-12-11 14:43:51 -0500 |
| commit | fafd62df0a918a14ecc90d99236e5a87918646e1 (patch) | |
| tree | 24e38c7b887f804296f2c6e66d4d1caa061e2cb4 /src/client/util/UndoManager.ts | |
| parent | 6346a318634f6d4ebe561a871905982d748bf43e (diff) | |
got rid of ChromeHeight and replaced with HeaderMargin in style provider. made text headers not overlap the tet itself.
Diffstat (limited to 'src/client/util/UndoManager.ts')
0 files changed, 0 insertions, 0 deletions