pinokiod 3.125.0 → 3.126.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/package.json +1 -1
  2. package/server/public/layout.js +1 -11
  3. package/server/views/layout.ejs +2 -8
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.125.0",
3
+ "version": "3.126.0",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/public/layout.js CHANGED
@@ -430,17 +430,7 @@
430
430
  return;
431
431
  }
432
432
  const rect = rootEl.getBoundingClientRect();
433
- const computed = window.getComputedStyle(rootEl);
434
- const paddingTop = Number.parseFloat(computed.paddingTop) || 0;
435
- const paddingRight = Number.parseFloat(computed.paddingRight) || 0;
436
- const paddingBottom = Number.parseFloat(computed.paddingBottom) || 0;
437
- const paddingLeft = Number.parseFloat(computed.paddingLeft) || 0;
438
- const rootBounds = {
439
- x: paddingLeft,
440
- y: paddingTop,
441
- width: Math.max(0, rect.width - paddingLeft - paddingRight),
442
- height: Math.max(0, rect.height - paddingTop - paddingBottom),
443
- };
433
+ const rootBounds = { x: 0, y: 0, width: rect.width, height: rect.height };
444
434
  const activeLeafIds = new Set();
445
435
  const activeSplitIds = new Set();
446
436
 
package/server/views/layout.ejs CHANGED
@@ -8,7 +8,7 @@
8
8
  :root {
9
9
  --layout-gutter-size: 4px;
10
10
  --layout-background: #ffffff;
11
- --layout-gutter-bg: rgba(0, 0, 0, 0.06);
11
+ --layout-gutter-bg: rgba(0, 0, 0, 0.02);
12
12
  --layout-gutter-bg-hover: rgba(0, 0, 0, 0.2);
13
13
  --layout-shadow: rgba(0, 0, 0, 0.06);
14
14
  color-scheme: light dark;
@@ -30,11 +30,7 @@
30
30
  display: none;
31
31
  height: 32px;
32
32
  width: 100%;
33
- position: fixed;
34
- top: 0;
35
- left: 0;
36
- right: 0;
37
- z-index: 1000000000;
33
+ background var(--layout-gutter-bg);
38
34
  }
39
35
  body.dark > #dragger {
40
36
  background: rgb(27, 28, 29);
@@ -63,8 +59,6 @@
63
59
  flex-grow: 1;
64
60
  background: var(--layout-background);
65
61
  overflow: hidden;
66
- padding-top: 32px;
67
- box-sizing: border-box;
68
62
  }
69
63
 
70
64
  .layout-leaf {