diff view/ViewManager.cpp @ 932:37bb4b416c52 tonioni

Render direct to widget (necessary to avoid pixel doubling on OS/X)
author Chris Cannam
date Wed, 25 Mar 2015 11:27:46 +0000
parents b48db6f1a7d2
children 36cddc3de023 4d54882bbf73
line wrap: on
line diff