fix: shell window size (#3198)

This commit is contained in:
古大羊 2024-05-19 18:00:10 +08:00 committed by GitHub
parent e336a25ad2
commit 4c5b612cb2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 17 additions and 3 deletions

View File

@ -6,15 +6,22 @@
background: var(--surfacePrimary); background: var(--surfacePrimary);
color: var(--textPrimary); color: var(--textPrimary);
z-index: 9999; z-index: 9999;
background: rgba(127, 127, 127, 0.1); background: var(--dividerSecondary);
transition: 0.2s ease background; transition: 0.2s ease background;
cursor: ns-resize; cursor: ns-resize;
touch-action: none; touch-action: none;
user-select: none; user-select: none;
width: 100%;
}
.shell__divider{
background: rgba(127, 127, 127, 0.3);
width: 100%;
height: 8px;
} }
.shell__divider:hover { .shell__divider:hover {
background: rgba(127, 127, 127, 0.4); background: rgba(127, 127, 127, 0.9);
} }
.shell__content { .shell__content {
@ -34,7 +41,7 @@
top: 0px; top: 0px;
left: 0px; left: 0px;
z-index: 9998; z-index: 9998;
background-color: rgba(0, 0, 0, 0.05); background-color: var(--dividerPrimary);
} }
body.rtl .shell-content { body.rtl .shell-content {
@ -62,6 +69,8 @@ body.rtl .shell-content {
font-size: inherit; font-size: inherit;
} }
.shell__prompt { .shell__prompt {
width: 1.2rem; width: 1.2rem;
} }
@ -75,4 +84,5 @@ body.rtl .shell-content {
font-family: inherit; font-family: inherit;
white-space: pre-wrap; white-space: pre-wrap;
width: 100%; width: 100%;
color:var(--textSecondary);
} }

View File

@ -31,6 +31,8 @@
--hover: rgba(0, 0, 0, 0.1); --hover: rgba(0, 0, 0, 0.1);
--borderPrimary: rgba(0, 0, 0, 0.1); --borderPrimary: rgba(0, 0, 0, 0.1);
--borderSecondary: rgba(0, 0, 0, 0.2); --borderSecondary: rgba(0, 0, 0, 0.2);
--dividerPrimary: rgba(255, 255, 255, 0.4);
--dividerSecondary: rgba(255, 255, 255, 0.9);
} }
:root.dark { :root.dark {
@ -51,4 +53,6 @@
--hover: rgba(255, 255, 255, 0.1); --hover: rgba(255, 255, 255, 0.1);
--borderPrimary: rgba(255, 255, 255, 0.05); --borderPrimary: rgba(255, 255, 255, 0.05);
--borderSecondary: rgba(255, 255, 255, 0.15); --borderSecondary: rgba(255, 255, 255, 0.15);
--dividerPrimary: rgba(30, 30, 30, 0.4);
--dividerSecondary:rgba(30, 30, 30, 0.6);
} }