Skip to content

Commit

Permalink
Add: Autohide - Allow toolbar overlap layout shift option #457
Browse files Browse the repository at this point in the history
  • Loading branch information
black7375 committed Sep 7, 2022
1 parent 88f602d commit 88dd194
Show file tree
Hide file tree
Showing 3 changed files with 13 additions and 8 deletions.
10 changes: 6 additions & 4 deletions css/leptonChrome.css
Original file line number Diff line number Diff line change
Expand Up @@ -7951,10 +7951,12 @@
will-change: margin-bottom, opacity;
}
@supports -moz-bool-pref("userChrome.autohide.toolbar_overlap") {
@supports not selector(:has(a)) {
#PersonalToolbar:not([customizing])[collapsed="true"] {
visibility: visible !important;
max-height: unset !important;
@supports not -moz-bool-pref("userChrome.autohide.toolbar_overlap.allow_layout_shift") {
@supports not selector(:has(a)) {
#PersonalToolbar:not([customizing])[collapsed="true"] {
visibility: visible !important;
max-height: unset !important;
}
}
}
}
Expand Down
10 changes: 6 additions & 4 deletions src/autohide/_bookmarkbar.scss
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,12 @@
will-change: margin-bottom, opacity;

@include Option("userChrome.autohide.toolbar_overlap") {
@include NotHas {
&[collapsed="true"] {
visibility: visible !important;
max-height: unset !important;
@include NotOption("userChrome.autohide.toolbar_overlap.allow_layout_shift") {
@include NotHas {
&[collapsed="true"] {
visibility: visible !important;
max-height: unset !important;
}
}
}
}
Expand Down
1 change: 1 addition & 0 deletions user.js
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.autohide.forward_button", true);
// user_pref("userChrome.autohide.page_action", true);
// user_pref("userChrome.autohide.toolbar_overlap", true);
// user_pref("userChrome.autohide.toolbar_overlap.allow_layout_shift", true);

// user_pref("userChrome.hidden.tab_icon", true);
// user_pref("userChrome.hidden.tab_icon.always", true);
Expand Down

0 comments on commit 88dd194

Please sign in to comment.