diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 11:25:47 -0500 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 11:25:47 -0500 |
| commit | a68b3a82c7fd430119254cd8721bd4804e280ef3 (patch) | |
| tree | 0e9b1161b06e696379128dc0851d7478ce5049f0 /src/client/util/SelectionManager.ts | |
| parent | f92f51236f10fca1d21b787a46dffbf6e565876a (diff) | |
made documentbox more usable with borders, fwd/back/lock. and annotation filtering.
Diffstat (limited to 'src/client/util/SelectionManager.ts')
0 files changed, 0 insertions, 0 deletions