diff widgets/RangeInputDialog.h @ 1309:13e17e61f898

Tool button on Mac (something has gone very wrong with the appearance of the push button in latest builds)
author Chris Cannam <cannam@all-day-breakfast.com>
date Tue, 26 Jun 2018 14:37:36 +0100
parents dd573e090eed
children 05d614f6e46d
line wrap: on
line diff