log widgets/WidgetScale.h @ 1289:ed04d3666d33 plugin-path-config

age author description
Thu, 15 Dec 2016 16:29:18 +0000 Chris Cannam Record scale factor in log levelpanwidget
Mon, 05 Dec 2016 12:04:23 +0000 Chris Cannam Scale the sizes of a few more UI elements more-hidpi