pinokiod 3.17.9 → 3.18.1
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/kernel/api/index.js +0 -1
- package/kernel/bin/index.js +0 -1
- package/kernel/index.js +0 -1
- package/package.json +1 -1
- package/server/index.js +10 -7
- package/server/socket.js +0 -3
- package/server/views/shell.ejs +0 -1
package/kernel/api/index.js
CHANGED
package/kernel/bin/index.js
CHANGED
package/kernel/index.js
CHANGED
package/package.json
CHANGED
package/server/index.js
CHANGED
|
@@ -1565,8 +1565,6 @@ class Server {
|
|
|
1565
1565
|
if (!config) {
|
|
1566
1566
|
return { menu: [] }
|
|
1567
1567
|
}
|
|
1568
|
-
console.log("renderMenu2 Before", JSON.stringify(config, null, 2))
|
|
1569
|
-
|
|
1570
1568
|
if (config.menu) {
|
|
1571
1569
|
for(let i=0; i<config.menu.length; i++) {
|
|
1572
1570
|
let item = config.menu[i]
|
|
@@ -1604,7 +1602,6 @@ class Server {
|
|
|
1604
1602
|
//config.script_id = this.kernel.path(keypath) + "?cwd=" + base.cwd
|
|
1605
1603
|
config.script_id = path.resolve(base.path, config.href) + "?cwd=" + base.cwd
|
|
1606
1604
|
}
|
|
1607
|
-
console.log("renderMenu2 After", JSON.stringify(config, null, 2))
|
|
1608
1605
|
return config
|
|
1609
1606
|
}
|
|
1610
1607
|
|
|
@@ -2132,7 +2129,16 @@ class Server {
|
|
|
2132
2129
|
|
|
2133
2130
|
// 1. THEME
|
|
2134
2131
|
this.theme = this.kernel.store.get("theme") || "light"
|
|
2135
|
-
this.mode = this.kernel.store.get("mode") || "
|
|
2132
|
+
this.mode = this.kernel.store.get("mode") || "full"
|
|
2133
|
+
|
|
2134
|
+
// when loaded in electron but in minimal mode,
|
|
2135
|
+
// the app is loaded in the web so the agent should be "web"
|
|
2136
|
+
if (this.agent === "electron") {
|
|
2137
|
+
if (this.mode === "minimal") {
|
|
2138
|
+
this.agent = "web"
|
|
2139
|
+
}
|
|
2140
|
+
}
|
|
2141
|
+
|
|
2136
2142
|
if (this.theme === "dark") {
|
|
2137
2143
|
this.colors = {
|
|
2138
2144
|
color: "rgb(27, 28, 29)",
|
|
@@ -2368,8 +2374,6 @@ class Server {
|
|
|
2368
2374
|
}
|
|
2369
2375
|
}
|
|
2370
2376
|
async getPlugin(name) {
|
|
2371
|
-
console.log("getPlugin", name)
|
|
2372
|
-
console.log("plugin config", this.kernel.plugin.config)
|
|
2373
2377
|
if (this.kernel.plugin.config) {
|
|
2374
2378
|
try {
|
|
2375
2379
|
let info = new Info(this.kernel)
|
|
@@ -3828,7 +3832,6 @@ class Server {
|
|
|
3828
3832
|
}
|
|
3829
3833
|
|
|
3830
3834
|
let config = structuredClone(this.kernel.proto.config)
|
|
3831
|
-
console.log(">>>>>>>> config", config)
|
|
3832
3835
|
config = this.renderMenu2(config, {
|
|
3833
3836
|
cwd: req.query.path,
|
|
3834
3837
|
href: "/prototype/show",
|
package/server/socket.js
CHANGED
|
@@ -59,8 +59,6 @@ class Socket {
|
|
|
59
59
|
await this.parent.kernel.api.init()
|
|
60
60
|
// look for repos that match
|
|
61
61
|
|
|
62
|
-
console.log({ req })
|
|
63
|
-
|
|
64
62
|
if (req.uri) {
|
|
65
63
|
if (req.mode === "open") {
|
|
66
64
|
// get the default script and respond
|
|
@@ -151,7 +149,6 @@ class Socket {
|
|
|
151
149
|
} else if (req.emit) {
|
|
152
150
|
this.parent.kernel.shell.emit(req)
|
|
153
151
|
} else if (req.key && req.id) {
|
|
154
|
-
console.log({ req })
|
|
155
152
|
this.parent.kernel.shell.emit({
|
|
156
153
|
id: req.id,
|
|
157
154
|
emit: req.key,
|
package/server/views/shell.ejs
CHANGED