log widgets/WidgetScale.h @ 1189:7609580fb05a levelpanwidget

age author description
Mon, 05 Dec 2016 12:04:23 +0000 Chris Cannam Scale the sizes of a few more UI elements more-hidpi