Rework popup components.

Previously popups were driven through some CSS hacks, which used labels
with specific positioning, and z-index changes. This never really
worked, and led the rest of the tree to be unmanagable. This commit
replaces that system with a simpler one, which is being driven by
javascript.

This also allowed a much simpler tree, which allowed us to
- make the popups rezisable (with a resize anchor)
- move the window handle to above (configurable)
- Add and remove tabs without having manually reflow where all labels
  are

1 files changed, 2 insertions, 2 deletions

diff --git a/static/dragable.ts b/static/dragable.ts
index 6110a510..b32bb608 100644
--- a/static/dragable.ts
+++ b/static/dragable.ts
@@ -18,7 +18,7 @@ function bind_popup_control(nav: HTMLElement) {
     //     throw TypeError('not a popup container');
     // }
 
-    nav.onmousedown = function(e) {
+    nav.addEventListener('mousedown', function(e) {
         /* Ignore mousedown on children */
         if (e.target != nav) return;
         nav.style.cursor = "grabbing";
@@ -27,7 +27,7 @@ function bind_popup_control(nav: HTMLElement) {
         // let popup = nav.closest(".popup-container");
         let popup = nav.closest("popup-element") as HTMLElement;
         nav.dataset.startPoint = popup.offsetLeft + ";" + popup.offsetTop;
-    }
+    })
     window.addEventListener('mousemove', function(e) {
         if (nav.dataset.grabbed) {
             let [x, y] = nav.dataset.grabPoint!.split(";").map(Number);