Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Fix the space panel getting bigger when gaining a scroll bar #12267

Merged
merged 10 commits into from
Feb 21, 2024
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
16 changes: 13 additions & 3 deletions res/css/structures/_SpacePanel.pcss
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ limitations under the License.
--activeBackground-color: $panel-actions;
--activeBorder-color: $primary-content;
--activeBorder-transparent-gap: 1px;
--gutterSize: 16px;
--gutterSize: 14px;
--height-nested: 24px;
--height-topLevel: 32px;

Expand All @@ -34,6 +34,10 @@ limitations under the License.
display: flex;
flex-direction: column;

&.collapsed {
width: 68px;
}

.mx_SpacePanel_toggleCollapse {
position: absolute;
width: 18px;
Expand Down Expand Up @@ -149,6 +153,11 @@ limitations under the License.
min-width: 0;
}

&.mx_SpaceButton_narrow .mx_SpaceButton_selectionWrapper {
flex: initial;
width: 32px;
}

.mx_SpaceButton_name {
flex: 1;
margin-left: 8px;
Expand Down Expand Up @@ -323,7 +332,8 @@ limitations under the License.
/* root space buttons are bigger and not indented */
& > .mx_AutoHideScrollbar {
flex: 1;
padding: 0 8px 16px 0;
padding: 0 0 16px 0;
scrollbar-gutter: stable;

& > .mx_SpaceButton {
height: var(--height-topLevel);
Expand Down Expand Up @@ -380,7 +390,7 @@ limitations under the License.
.mx_UserMenu {
padding-bottom: 12px;
border-bottom: 1px solid $separator;
margin: 12px 14px 4px 18px;
margin: 12px 14px 4px 16px;
max-width: 226px;
}
}
Expand Down
Loading