pinokiod 3.88.0 → 3.90.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.88.0",
3
+ "version": "3.90.0",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
@@ -2364,25 +2364,6 @@ body.dark .mode-selector .btn2.selected {
2364
2364
  }
2365
2365
 
2366
2366
 
2367
- body.dark[data-agent='electron'] #dragger {
2368
- background: rgb(27, 28, 29);
2369
- }
2370
- body[data-agent='electron'] #dragger {
2371
- display: block;
2372
- }
2373
- #dragger {
2374
- -webkit-app-region: drag;
2375
- cursor: grab;
2376
- position: absolute;
2377
- top: 0;
2378
- left: 0;
2379
- right: 0;
2380
- height: 26px;
2381
- width: 100%;
2382
- z-index: 1000000000000;
2383
- display: none;
2384
- }
2385
-
2386
2367
 
2387
2368
  @media only screen and (max-width: 768px) {
2388
2369
  body {
@@ -2393,7 +2393,6 @@ body.dark {
2393
2393
  <script src="/tippy-bundle.umd.min.js"></script>
2394
2394
  </head>
2395
2395
  <body class='<%=theme%>' data-platform="<%=platform%>" data-agent="<%=agent%>">
2396
- <div id='dragger'></div>
2397
2396
  <header class='navheader grabbable'>
2398
2397
  <h1>
2399
2398
  <a class='home' href="/">
@@ -15,25 +15,6 @@ body {
15
15
  gap: 0px;
16
16
  position: relative;
17
17
  }
18
- #dragger {
19
- display: none;
20
- }
21
- body.dark[data-agent='electron'] #dragger {
22
- background: #222;
23
- }
24
- body[data-agent='electron'] #dragger {
25
- display: block;
26
- -webkit-app-region: drag;
27
- cursor: grab;
28
- position: absolute;
29
- top: 0;
30
- left: 0;
31
- right: 0;
32
- height: 26px;
33
- background: #F2F2F2;
34
- width: 100%;
35
- z-index: 1000000000000;
36
- }
37
18
  body iframe {
38
19
  border: none;
39
20
  width: 100%;
@@ -81,7 +62,6 @@ body[data-agent='electron'] {
81
62
  <script src="/window_storage.js"></script>
82
63
  </head>
83
64
  <body class='<%=theme%>' data-agent="<%=agent%>">
84
- <div id='dragger'></div>
85
65
  <iframe id='col0' data-src="<%= originSrc || '/' %>"></iframe>
86
66
  <div id="gutter" class="gutter" tabindex="0" role="separator" aria-orientation="vertical" aria-label="Resize panels" aria-valuemin="120" aria-valuemax="0" aria-valuenow="0"></div>
87
67
  <iframe id='col1' data-src="<%= targetSrc || originSrc || '/' %>"></iframe>
@@ -191,7 +191,6 @@ pre {
191
191
  <script src="/highlight-js.js"></script>
192
192
  </head>
193
193
  <body class='<%=theme%>' data-agent="<%=agent%>">
194
- <div id='dragger'></div>
195
194
  <header class='navheader grabbable'>
196
195
  <h1>
197
196
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -810,7 +810,6 @@ document.addEventListener('DOMContentLoaded', function() {
810
810
  </script>
811
811
  </head>
812
812
  <body class='<%=theme%>' data-agent="<%=agent%>">
813
- <div id='dragger'></div>
814
813
  <header class='navheader grabbable'>
815
814
  <h1>
816
815
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -319,7 +319,6 @@ iframe {
319
319
  <script src="/report.js"></script>
320
320
  </head>
321
321
  <body class='<%=theme%>' data-agent="<%=agent%>">
322
- <div id='dragger'></div>
323
322
  <!--
324
323
  <nav>
325
324
  <a class='logo' href="/">dal</a>
@@ -119,7 +119,6 @@ body.frozen {
119
119
  <% } else { %>
120
120
  <body class='<%=theme%>' data-agent="<%=agent%>">
121
121
  <% } %>
122
- <div id='dragger'></div>
123
122
  <header class='grabbable'>
124
123
  <h1>
125
124
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -120,7 +120,6 @@ body main iframe {
120
120
  <script src="/nav.js"></script>
121
121
  </head>
122
122
  <body class='<%=theme%>' data-agent="<%=agent%>">
123
- <div id='dragger'></div>
124
123
  <header class='navheader grabbable'>
125
124
  <h1>
126
125
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -150,7 +150,6 @@ document.addEventListener("DOMContentLoaded", async () => {
150
150
  </script>
151
151
  </head>
152
152
  <body>
153
- <div id='dragger'></div>
154
153
  <header>
155
154
  <h1>
156
155
  <% paths.forEach((path) => { %>
@@ -46,7 +46,6 @@ main iframe {
46
46
  </style>
47
47
  </head>
48
48
  <body class='columns <%=theme%>' data-agent="<%=agent%>">
49
- <div id='dragger'></div>
50
49
  <header>
51
50
  <h1>
52
51
  <% paths.forEach((path) => { %>
@@ -232,7 +232,6 @@ ol {
232
232
  <script src="/opener.js"></script>
233
233
  </head>
234
234
  <body class='<%=theme%>' data-agent="<%=agent%>">
235
- <div id='dragger'></div>
236
235
  <header class='navheader grabbable'>
237
236
  <h1>
238
237
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -253,7 +253,6 @@ body.dark .item .tile .badge {
253
253
  <script src="/report.js"></script>
254
254
  </head>
255
255
  <body class='<%=theme%>' data-agent="<%=agent%>">
256
- <div id='dragger'></div>
257
256
  <header class='navheader grabbable'>
258
257
  <h1>
259
258
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -404,7 +404,6 @@ body.dark aside .current.selected {
404
404
  <script src="/urldropdown.js"></script>
405
405
  </head>
406
406
  <body class='<%=theme%>' data-agent="<%=agent%>">
407
- <div id='dragger'></div>
408
407
  <% if (error) { %>
409
408
  <nav class='error-message'>
410
409
  <div><%=error%></div>
@@ -1518,7 +1518,6 @@ body.dark .ace-editor {
1518
1518
  <script src="/fseditor.js"></script>
1519
1519
  </head>
1520
1520
  <body class='<%=theme%>' data-platform="<%=platform%>" data-agent="<%=agent%>">
1521
- <div id='dragger'></div>
1522
1521
  <header class='navheader grabbable'>
1523
1522
  <h1>
1524
1523
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -6,9 +6,9 @@
6
6
  <title>Pinokio</title>
7
7
  <style>
8
8
  :root {
9
- --layout-gutter-size: 6px;
9
+ --layout-gutter-size: 4px;
10
10
  --layout-background: #ffffff;
11
- --layout-gutter-bg: rgba(0, 0, 0, 0.08);
11
+ --layout-gutter-bg: rgba(0, 0, 0, 0.06);
12
12
  --layout-gutter-bg-hover: rgba(0, 0, 0, 0.2);
13
13
  --layout-shadow: rgba(0, 0, 0, 0.06);
14
14
  color-scheme: light dark;
@@ -31,6 +31,9 @@
31
31
  height: 26px;
32
32
  width: 100%;
33
33
  }
34
+ body.dark > #dragger {
35
+ background: rgb(27, 28, 29);
36
+ }
34
37
 
35
38
  body {
36
39
  display: flex;
@@ -753,7 +753,6 @@ body.dark .appcanvas {
753
753
  <script src="/fseditor.js"></script>
754
754
  </head>
755
755
  <body class='<%=theme%>' data-platform="<%=platform%>" data-agent="<%=agent%>">
756
- <div id='dragger'></div>
757
756
  <header class='navheader grabbable'>
758
757
  <h1>
759
758
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -526,7 +526,6 @@ document.addEventListener('DOMContentLoaded', function() {
526
526
  <script src="/fseditor.js"></script>
527
527
  </head>
528
528
  <body class='<%=theme%>' data-agent="<%=agent%>">
529
- <div id='dragger'></div>
530
529
  <% if (error) { %>
531
530
  <nav class='error-message'>
532
531
  <div><%=error%></div>
@@ -1046,7 +1046,6 @@ document.addEventListener('DOMContentLoaded', function() {
1046
1046
  </script>
1047
1047
  </head>
1048
1048
  <body class='<%=theme%>' data-agent="<%=agent%>">
1049
- <div id='dragger'></div>
1050
1049
  <header class='navheader grabbable'>
1051
1050
  <h1>
1052
1051
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -1000,7 +1000,6 @@ body.dark .appcanvas {
1000
1000
  <script src="/fseditor.js"></script>
1001
1001
  </head>
1002
1002
  <body class='<%=theme%>' data-platform="<%=platform%>">
1003
- <div id='dragger'></div>
1004
1003
  <header class='navheader grabbable'>
1005
1004
  <h1>
1006
1005
  <a class='home' href="/"><img class='icon' src="/pinokio-black.png"></a>
@@ -933,7 +933,6 @@ body.dark .top-menu .btn2.selected {
933
933
  <script src="/tippy-bundle.umd.min.js"></script>
934
934
  </head>
935
935
  <body class='<%=theme%>' data-platform="<%=platform%>" data-agent="<%=agent%>">
936
- <div id='dragger'></div>
937
936
  <header class='navheader grabbable'>
938
937
  <h1>
939
938
  <a class='home' href="/">
@@ -15,25 +15,6 @@ body {
15
15
  gap: 0px;
16
16
  position: relative;
17
17
  }
18
- #dragger {
19
- display: none;
20
- }
21
- body.dark[data-agent='electron'] #dragger {
22
- background: #222;
23
- }
24
- body[data-agent='electron'] #dragger {
25
- display: block;
26
- -webkit-app-region: drag;
27
- cursor: grab;
28
- position: absolute;
29
- top: 0;
30
- left: 0;
31
- right: 0;
32
- height: 26px;
33
- background: #F2F2F2;
34
- width: 100%;
35
- z-index: 1000000000000;
36
- }
37
18
  body iframe {
38
19
  border: none;
39
20
  width: 100%;
@@ -81,7 +62,6 @@ body[data-agent='electron'] {
81
62
  <script src="/window_storage.js"></script>
82
63
  </head>
83
64
  <body class='<%=theme%>' data-agent="<%=agent%>">
84
- <div id='dragger'></div>
85
65
  <iframe id='row0' data-src="<%= originSrc || '/' %>"></iframe>
86
66
  <div id="gutter" class="gutter" tabindex="0" role="separator" aria-orientation="horizontal" aria-label="Resize panels" aria-valuemin="120" aria-valuemax="0" aria-valuenow="0"></div>
87
67
  <iframe id='row1' data-src="<%= targetSrc || originSrc || '/' %>"></iframe>
@@ -701,7 +701,6 @@ document.addEventListener('DOMContentLoaded', function() {
701
701
  <script src="/report.js"></script>
702
702
  </head>
703
703
  <body class='<%=theme%>' data-agent="<%=agent%>">
704
- <div id='dragger'></div>
705
704
  <!--
706
705
  <nav>
707
706
  <a class='logo' href="/">dal</a>
@@ -366,7 +366,6 @@ document.addEventListener('DOMContentLoaded', function() {
366
366
  <script src="/report.js"></script>
367
367
  </head>
368
368
  <body class='<%=theme%>' data-agent="<%=agent%>">
369
- <div id='dragger'></div>
370
369
  <!--
371
370
  <nav>
372
371
  <a class='logo' href="/">dal</a>
@@ -133,7 +133,6 @@ body {
133
133
  <script src="/common.js"></script>
134
134
  </head>
135
135
  <body class='<%=theme%>' data-agent="<%=agent%>">
136
- <div id='dragger'></div>
137
136
  <header class='grabbable'>
138
137
  <h1>
139
138
  <a class='home' href="/"><%-logo%></a>
@@ -149,7 +149,6 @@ body.dark .card {
149
149
  <script src="/common.js"></script>
150
150
  </head>
151
151
  <body class='<%=theme%>' data-agent="<%=agent%>">
152
- <div id='dragger'></div>
153
152
  <header class='grabbable'>
154
153
  <h1>
155
154
  <a class='path' href="/"><%-logo%></a>
@@ -1091,7 +1091,6 @@ document.addEventListener('DOMContentLoaded', function() {
1091
1091
  <script src="/report.js"></script>
1092
1092
  </head>
1093
1093
  <body class='<%=theme%>' data-agent="<%=agent%>">
1094
- <div id='dragger'></div>
1095
1094
  <!--
1096
1095
  <nav>
1097
1096
  <a class='logo' href="/">dal</a>