Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-02-12 01:01:50 +01:00
Code Issues Packages Projects Releases Wiki Activity

make margin for workspace picker draggable

Browse Source
This commit is contained in:
Evan Simkowitz 2024-12-11 14:51:10 -08:00
parent 38068ae7de
commit 8b7de338b8
No known key found for this signature in database
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
frontend/app/tab/tabbar.scss
View File

@ -34,6 +34,10 @@
-webkit-app-region: no-drag; -webkit-app-region: no-drag;
} }
.workspace-switcher-popover {
-webkit-app-region: drag;
}
.tabs-wrapper { .tabs-wrapper {
transition: var(--tabs-wrapper-transition); transition: var(--tabs-wrapper-transition);
height: 26px; height: 26px;