browser/chrome/browser/uiDensity.properties
aa01934e0404538a821e4f2cfe80baccce041036
created 2017-07-21 14:11 +0200
pushed 2017-10-10 22:14 +0000
Dão Gottwald Dão Gottwald - Bug 1383031 - Rename customization-uidensity-menu-button* classes and ids since these are menuitems. r=johannh
cbf9b9f6c9588e89e3423561bb045b411f010083
created 2017-06-27 18:50 +0200
pushed 2017-10-10 22:14 +0000
Johann Hofmann Johann Hofmann - Bug 1350210 - Part 1 - Add UI density settings to customize mode. r=jaws
less more (0) tip