diff widgets/WindowTypeSelector.h @ 1418:e866102db32a

Use zero-width pen when zoomed out - this seems to make a huge difference to speed when rendering on top of another layer, for some reason
author Chris Cannam
date Thu, 14 Feb 2019 13:04:57 +0000
parents 05d614f6e46d
children
line wrap: on
line diff