pinokiod 3.121.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.
Files changed (4) hide show
  1. package/kernel/shell.js +1 -0
  2. package/package.json +1 -1
  3. package/server/index.js +1 -0
  4. package/server/views/layout.ejs +8 -1
package/kernel/shell.js CHANGED
@@ -102,6 +102,7 @@ class Shell {
102
102
  }
103
103
 
104
104
  this.env.CONDA_SHORTCUTS = 0
105
+ this.env.CONDA_CONSOLE = 'json'
105
106
 
106
107
  // this.env.TCELL_MINIMIZE=1
107
108
  this.env.CMAKE_OBJECT_PATH_MAX = 1024
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.121.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,
package/server/views/layout.ejs CHANGED
@@ -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 {