https://github.com/mozilla/gecko-dev
Revision 01104611be0663ed0c4b96a5ba46aad26169afc3 authored by Emilio Cobos Álvarez on 30 May 2024, 09:16:50 UTC, committed by Emilio Cobos Álvarez on 30 May 2024, 09:16:50 UTC
Since in some DEs at least it would make the menu not clickable.

Differential Revision: https://phabricator.services.mozilla.com/D211714
1 parent b8a85fd
Raw File
Tip revision: 01104611be0663ed0c4b96a5ba46aad26169afc3 authored by Emilio Cobos Álvarez on 30 May 2024, 09:16:50 UTC
Bug 1898217 - Don't let menus overlap OS bar on GTK. r=stransky a=pascalc
Tip revision: 0110461
.arcconfig
{
  "phabricator.uri" : "https://phabricator.services.mozilla.com/",
  "repository.callsign": "MOZILLACENTRAL",
  "history.immutable": false
}
back to top