pinokiod 3.8.5 → 3.8.6
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 +1 -1
- package/server/views/minterm.ejs +11 -6
package/package.json
CHANGED
package/server/views/minterm.ejs
CHANGED
|
@@ -105,6 +105,9 @@ header {
|
|
|
105
105
|
.xterm .xterm-viewport {
|
|
106
106
|
width: initial !important;
|
|
107
107
|
}
|
|
108
|
+
.navheader3 {
|
|
109
|
+
padding: 5px 8px 0;
|
|
110
|
+
}
|
|
108
111
|
/*
|
|
109
112
|
.navheader {
|
|
110
113
|
background: var(--dark-bg);
|
|
@@ -671,12 +674,14 @@ document.addEventListener("DOMContentLoaded", async () => {
|
|
|
671
674
|
</script>
|
|
672
675
|
</head>
|
|
673
676
|
<body class='<%=theme%>'>
|
|
674
|
-
<header class='
|
|
675
|
-
<div class='
|
|
676
|
-
<
|
|
677
|
-
|
|
678
|
-
|
|
679
|
-
<
|
|
677
|
+
<header class='navheader grabbable'>
|
|
678
|
+
<div class='navheader3'>
|
|
679
|
+
<div class='btn run stop-btn'>
|
|
680
|
+
<span class='stop'><i class="fa-solid fa-stop"></i> Stop</span>
|
|
681
|
+
</div>
|
|
682
|
+
<div class='btn stopped-btn hidden'>
|
|
683
|
+
<span class='stopped'><i class="fa-solid fa-hand"></i> Stopped</span>
|
|
684
|
+
</div>
|
|
680
685
|
</div>
|
|
681
686
|
</header>
|
|
682
687
|
<div class='terminal-container'>
|