This implements the menu shadow changes proposed in D9549; now we use a combobox with four options (None, Small, Normal, and Large) to choose the window shadow size. Normal is what we recently changed the default to (and this remains the new default) and Small is the old default value for people who preferred that. Menu shadows are now 25% the size of the main windowNone gives the window a single-pixel border instead of a shadows for, and Large and Normal,ge gives a 96px shadow. 37%Menu and tooltip shadows are now 25% the size of the main window shadows for SmallLarge and Normal, and 037% for None (insteadSmall, the windowand 0% for None (they get the same gets a single-pixel border).
I had a massive amount of help from @hpereiradacosta; in fact, probably 75% of these changes are his. It's a shame multiple authorship isn't possible. Hugo, feel free to commandeer the revision if you'd like the credit!