diff options
author | bobzel <zzzman@gmail.com> | 2022-04-11 16:06:15 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-04-11 16:06:15 -0400 |
commit | 49437d51b277206f31cdcdf0106944bab8330f4d (patch) | |
tree | d37b93a066df9bdbe70138823a5d875bf3f97b0c /src/client/util/DragManager.ts | |
parent | 6c7101d4f69dd79a83a48d04356748213c38a435 (diff) |
lots of layout fixes to groups, labels, ink to support iconification better. simpliifed documentdecorations. fixed display artifacts related to things not showing up when dragging, or otherwise not getting a halo of nested freeform colletions.
Diffstat (limited to 'src/client/util/DragManager.ts')
-rw-r--r-- | src/client/util/DragManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/DragManager.ts b/src/client/util/DragManager.ts index d6d04db9a..94a09eac4 100644 --- a/src/client/util/DragManager.ts +++ b/src/client/util/DragManager.ts @@ -424,7 +424,7 @@ export namespace DragManager { const hideDragShowOriginalElements = (hide: boolean) => { dragLabel.style.display = hide ? "" : "none"; - //!hide && dragElements.map(dragElement => dragElement.parentNode === dragDiv && dragDiv.removeChild(dragElement)); + !hide && dragElements.map(dragElement => dragElement.parentNode === dragDiv && dragDiv.removeChild(dragElement)); eles.forEach(ele => ele.hidden = hide); }; options?.hideSource && hideDragShowOriginalElements(true); |