log widgets/WidgetScale.h @ 1494:78d9282519b0

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