TechCrunch: “Google is introducing a new “quick settings” menu in Gmail aimed at helping users browse, discover and use different themes and settings to customize their Gmail experience. These options include the ability to change the density of text, select from different inbox types and add reading panes and options to theme your inbox. They are not new features, but before had been buried in Gmail’s settings. Many users may have not even known the options existed, unless they went digging. From the new Quick Settings menu, Gmail will pop up these various options on the right side of the inbox for easier access. And as you make a selection, you can see your inbox update with the change immediately, allowing you to try out new settings and themes before making a commitment…”