@industry-theme/xterm-terminal-panel 0.1.6 → 0.1.8
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/dist/index.js +3 -3
- package/package.json +1 -1
package/dist/index.js
CHANGED
|
@@ -428,7 +428,7 @@ var ThemedTerminal = forwardRef(({
|
|
|
428
428
|
display: "flex",
|
|
429
429
|
alignItems: "center",
|
|
430
430
|
justifyContent: "space-between",
|
|
431
|
-
padding: "
|
|
431
|
+
padding: "7px 16px 8px",
|
|
432
432
|
borderBottom: `1px solid ${theme.colors.border}`,
|
|
433
433
|
backgroundColor: theme.colors.backgroundSecondary || theme.colors.background
|
|
434
434
|
},
|
|
@@ -1609,7 +1609,7 @@ var TabbedTerminalPanelInner = ({
|
|
|
1609
1609
|
style: {
|
|
1610
1610
|
display: "flex",
|
|
1611
1611
|
alignItems: "stretch",
|
|
1612
|
-
height: "
|
|
1612
|
+
height: "40px",
|
|
1613
1613
|
flexShrink: 0,
|
|
1614
1614
|
boxSizing: "border-box"
|
|
1615
1615
|
},
|
|
@@ -1679,7 +1679,7 @@ var TabbedTerminalPanelInner = ({
|
|
|
1679
1679
|
gap: "6px",
|
|
1680
1680
|
padding: "6px 8px",
|
|
1681
1681
|
backgroundColor: tab.isActive ? theme.colors.background : theme.colors.backgroundSecondary,
|
|
1682
|
-
borderBottom:
|
|
1682
|
+
borderBottom: "none",
|
|
1683
1683
|
cursor: "pointer",
|
|
1684
1684
|
fontSize: theme.fontSizes[1],
|
|
1685
1685
|
fontWeight: tab.isActive ? theme.fontWeights.semibold : theme.fontWeights.body,
|
package/package.json
CHANGED