log widgets/WidgetScale.h @ 1453:39f1154c0e97 single-point

age author description
Tue, 26 Jun 2018 14:36:56 +0100 Chris Cannam Never scale down
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