pinokiod 3.123.0 → 3.125.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pinokiod",
-  "version": "3.123.0",
+  "version": "3.125.0",
   "description": "",
   "main": "index.js",
   "scripts": {

package/server/index.js

@@ -4210,6 +4210,7 @@ class Server {
       const defaultPath = defaultUrl.pathname + defaultUrl.search + defaultUrl.hash
 
       res.render('layout', {
+        platform: this.kernel.platform,
         theme: this.theme,
         agent: req.agent,
         initialPath,

package/server/public/layout.js

@@ -430,7 +430,17 @@
       return;
     }
     const rect = rootEl.getBoundingClientRect();
-    const rootBounds = { x: 0, y: 0, width: rect.width, height: rect.height };
+    const computed = window.getComputedStyle(rootEl);
+    const paddingTop = Number.parseFloat(computed.paddingTop) || 0;
+    const paddingRight = Number.parseFloat(computed.paddingRight) || 0;
+    const paddingBottom = Number.parseFloat(computed.paddingBottom) || 0;
+    const paddingLeft = Number.parseFloat(computed.paddingLeft) || 0;
+    const rootBounds = {
+      x: paddingLeft,
+      y: paddingTop,
+      width: Math.max(0, rect.width - paddingLeft - paddingRight),
+      height: Math.max(0, rect.height - paddingTop - paddingBottom),
+    };
     const activeLeafIds = new Set();
     const activeSplitIds = new Set();
 

package/server/views/layout.ejs

@@ -28,8 +28,13 @@
       -webkit-app-region: drag;
       cursor: grab;
       display: none;
-      height: 26px;
+      height: 32px;
       width: 100%;
+      position: fixed;
+      top: 0;
+      left: 0;
+      right: 0;
+      z-index: 1000000000;
     }
     body.dark > #dragger {
       background: rgb(27, 28, 29);
@@ -58,6 +63,8 @@
       flex-grow: 1;
       background: var(--layout-background);
       overflow: hidden;
+      padding-top: 32px;
+      box-sizing: border-box;
     }
 
     .layout-leaf {