diff widgets/PropertyBox.h @ 1461:e561f0a8d75b

Fix incorrect repaint at left edge in segmentation mode
author Chris Cannam
date Mon, 20 May 2019 15:04:07 +0100
parents b1e3ee5f1be6
children 2108af725460
line wrap: on
line diff