log widgets/WidgetScale.h @ 1315:1d7921b1852f

age author description
2018-06-26 Chris Cannam Never scale down
2016-12-15 Chris Cannam Record scale factor in log levelpanwidget
2016-12-05 Chris Cannam Scale the sizes of a few more UI elements more-hidpi