log widgets/WidgetScale.h @ 1186:8665e0ffa0d8 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