pinokiod 3.123.0 → 3.124.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.
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.123.0",
3
+ "version": "3.124.0",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/index.js CHANGED
@@ -4210,6 +4210,7 @@ class Server {
4210
4210
  const defaultPath = defaultUrl.pathname + defaultUrl.search + defaultUrl.hash
4211
4211
 
4212
4212
  res.render('layout', {
4213
+ platform: this.kernel.platform,
4213
4214
  theme: this.theme,
4214
4215
  agent: req.agent,
4215
4216
  initialPath,
@@ -28,8 +28,13 @@
28
28
  -webkit-app-region: drag;
29
29
  cursor: grab;
30
30
  display: none;
31
- height: 26px;
31
+ height: 32px;
32
32
  width: 100%;
33
+ position: fixed;
34
+ top: 0;
35
+ left: 0;
36
+ right: 0;
37
+ z-index: 1000000000;
33
38
  }
34
39
  body.dark > #dragger {
35
40
  background: rgb(27, 28, 29);
@@ -58,6 +63,8 @@
58
63
  flex-grow: 1;
59
64
  background: var(--layout-background);
60
65
  overflow: hidden;
66
+ padding-top: 32px;
67
+ box-sizing: border-box;
61
68
  }
62
69
 
63
70
  .layout-leaf {