.... in 1019 is just great (and I don't mind the icons' size, actually, since
my screen's resolution allows me to enlarge the dialog so that I don't need
to scroll at all).
Thanks for not alienating the few of us who didn't find the new panel view
all that convenient.