diff options
author | bobzel <zzzman@gmail.com> | 2020-09-11 17:28:08 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-09-11 17:28:08 -0400 |
commit | 702242a07451fc89d176ffcd7cc881928b2bc23c (patch) | |
tree | 008abb2eeb91d2f4a7252972976648f6259f3689 /src/client/util/DragManager.ts | |
parent | 2f7cdda3c766e900ae8f2ae5c6853cfb2d352d7a (diff) |
changes to switch from 'pt' units to 'px' for fonts. fixxes to presentations for treeview outlines.
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 9797f5488..367155c90 100644 --- a/src/client/util/DragManager.ts +++ b/src/client/util/DragManager.ts @@ -329,7 +329,7 @@ export namespace DragManager { dragLabel = document.createElement("div"); dragLabel.className = "dragManager-dragLabel"; dragLabel.style.zIndex = "100001"; - dragLabel.style.fontSize = "10pt"; + dragLabel.style.fontSize = "10px"; dragLabel.style.position = "absolute"; // dragLabel.innerText = "press 'a' to embed on drop"; // bcz: need to move this to a status bar dragDiv.appendChild(dragLabel); |