log widgets/WidgetScale.h @ 1312:fcc1f45f7bd5 import-audio-data

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