shell-mirror 1.5.108 → 1.5.109
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
package/public/app/terminal.html
CHANGED
|
@@ -176,12 +176,8 @@
|
|
|
176
176
|
font-weight: 600;
|
|
177
177
|
}
|
|
178
178
|
|
|
179
|
-
.session-tab-
|
|
180
|
-
|
|
181
|
-
border: none;
|
|
182
|
-
color: inherit;
|
|
183
|
-
font: inherit;
|
|
184
|
-
cursor: pointer;
|
|
179
|
+
.session-tab-name {
|
|
180
|
+
flex: 1;
|
|
185
181
|
padding: 2px 4px;
|
|
186
182
|
}
|
|
187
183
|
|
|
@@ -576,6 +572,6 @@
|
|
|
576
572
|
}
|
|
577
573
|
</script>
|
|
578
574
|
|
|
579
|
-
<script src="/app/terminal.js?v=1.5.
|
|
575
|
+
<script src="/app/terminal.js?v=1.5.93"></script>
|
|
580
576
|
</body>
|
|
581
577
|
</html>
|
package/public/app/terminal.js
CHANGED
|
@@ -1030,13 +1030,9 @@ function renderTabs() {
|
|
|
1030
1030
|
: `color: ${color.muted};`;
|
|
1031
1031
|
|
|
1032
1032
|
return `
|
|
1033
|
-
<div class="session-tab ${isActive ? 'active' : ''}" style="${tabStyle}" title="${displayName}" data-color-index="${sessionColorMap[session.id]}">
|
|
1034
|
-
<
|
|
1035
|
-
|
|
1036
|
-
style="${textStyle}">
|
|
1037
|
-
<span class="session-tab-name">${displayName}</span>
|
|
1038
|
-
</button>
|
|
1039
|
-
<button class="session-tab-close" onclick="closeSession('${session.id}', event)" title="Close session" style="color: ${isActive ? color.text : color.muted}">×</button>
|
|
1033
|
+
<div class="session-tab ${isActive ? 'active' : ''}" style="${tabStyle}; cursor: pointer;" title="${displayName}" data-color-index="${sessionColorMap[session.id]}" onclick="switchToSession('${session.id}')">
|
|
1034
|
+
<span class="session-tab-name" style="${textStyle}">${displayName}</span>
|
|
1035
|
+
<button class="session-tab-close" onclick="event.stopPropagation(); closeSession('${session.id}', event)" title="Close session" style="color: ${isActive ? color.text : color.muted}">×</button>
|
|
1040
1036
|
</div>
|
|
1041
1037
|
`;
|
|
1042
1038
|
}).join('');
|