diff widgets/InteractiveFileFinder.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 18101be79c9c
line wrap: on
line diff