diff view/ViewManager.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 fc9d9f1103fa
children 646e713a4632
line wrap: on
line diff