chore: merge from develop

This commit is contained in:
JackLian 2023-11-30 17:46:33 +08:00
commit 88a3430baa
2 changed files with 6 additions and 1 deletions

View File

@ -112,6 +112,7 @@ sidebar_position: 9
- `--workspace-sub-top-area-margin`: 应用级二级 topArea margin - `--workspace-sub-top-area-margin`: 应用级二级 topArea margin
- `--workspace-sub-top-area-padding`: 应用级二级 topArea padding - `--workspace-sub-top-area-padding`: 应用级二级 topArea padding
- `--workspace-left-area-width`: 应用级 leftArea width - `--workspace-left-area-width`: 应用级 leftArea width
- `--left-area-width`: leftArea width

View File

@ -443,6 +443,10 @@ body {
min-height: 0; min-height: 0;
position: relative; position: relative;
> .lc-left-float-pane {
left: calc(var(--workspace-left-area-width, var(--left-area-width)) + 1px);
}
.lc-workspace-workbench-center { .lc-workspace-workbench-center {
flex: 1; flex: 1;
display: flex; display: flex;