Add: Option - userChrome.padding.drag_space.maximized #370

This commit is contained in:
alstjr7375 2022-05-05 20:20:10 +09:00
parent 295a2cd62c
commit c2fb8a7997
2 changed files with 37 additions and 0 deletions

View file

@ -8,6 +8,11 @@
:root[tabsintitlebar][sizemode="normal"] #toolbar-menubar[autohide="true"] {
@content;
}
@include Option("userChrome.padding.drag_space.maximized") {
:root[tabsintitlebar][sizemode="maximized"] #toolbar-menubar[autohide="true"] {
@content;
}
}
}
@mixin dragSpacePadding {
/* Add extra space to titlebar for dragging */
@ -15,6 +20,12 @@
:root[sizemode="normal"] #toolbar-menubar[autohide="true"][inactive] + #TabsToolbar > .toolbar-items {
@content;
}
@include Option("userChrome.padding.drag_space.maximized") {
:root[sizemode="maximized"][chromehidden~="menubar"] #TabsToolbar > .toolbar-items,
:root[sizemode="maximized"] #toolbar-menubar[autohide="true"][inactive] + #TabsToolbar > .toolbar-items {
@content;
}
}
}
@include OS($win10) {