pinokiod 3.11.6 → 3.11.7

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/package.json +1 -1
  2. package/server/views/app.ejs +12 -3
  3. package/server/views/shell.ejs +1 -0
  4. package/server/views/terminal.ejs +2 -1
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.11.6",
3
+ "version": "3.11.7",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/views/app.ejs CHANGED
@@ -1698,10 +1698,19 @@ body.dark .appcanvas {
1698
1698
  // nested menu
1699
1699
  e.preventDefault()
1700
1700
  e.stopPropagation()
1701
+ debugger
1701
1702
  <% if (type === 'run') { %>
1702
- // run mode => switch to dev mode
1703
- location.hash = ""
1704
- location.pathname = location.pathname + "/dev"
1703
+ if (target.closest(".dynamic")) {
1704
+ // clicked dev mode menu => switch to dev
1705
+ // run mode => switch to dev mode
1706
+ location.hash = ""
1707
+ location.pathname = location.pathname + "/dev"
1708
+ } else {
1709
+ // regular menu
1710
+ target.closest(".nested-menu").querySelector(".submenu").classList.toggle("hidden")
1711
+ target.querySelector(".loader .fa-angle-down").classList.toggle("hidden")
1712
+ target.querySelector(".loader .fa-angle-up").classList.toggle("hidden")
1713
+ }
1705
1714
  <% } else { %>
1706
1715
  // dev mode => already dev. reveal the hidden menu
1707
1716
  if (target.closest(".dynamic")) {
package/server/views/shell.ejs CHANGED
@@ -495,6 +495,7 @@ document.addEventListener("DOMContentLoaded", async () => {
495
495
  let element = document.querySelector("mark")
496
496
  element.scrollIntoView({ behavior: "smooth", block: "center" });
497
497
 
498
+ this.stop()
498
499
 
499
500
 
500
501
 
package/server/views/terminal.ejs CHANGED
@@ -186,6 +186,7 @@ document.addEventListener("DOMContentLoaded", async () => {
186
186
  document.querySelector(".run .starting").classList.add("hidden")
187
187
  }
188
188
  stop() {
189
+ console.log("STOP")
189
190
  this.socket.run({
190
191
  method: "kernel.api.stop",
191
192
  params: {
@@ -554,7 +555,7 @@ document.addEventListener("DOMContentLoaded", async () => {
554
555
  let element = document.querySelector("mark")
555
556
  element.scrollIntoView({ behavior: "smooth", block: "center" });
556
557
 
557
-
558
+ this.stop()
558
559
 
559
560
 
560
561
  } else if (packet.type === "event") {