view .tonioni @ 1193:54e6be7ebe11 levelpanwidget

Some adjustments to make view elements clearer and more correctly sized, especially on hidpi (non-pixel-doubling) systems
author Chris Cannam
date Thu, 15 Dec 2016 15:34:33 +0000
parents 54f97c0afeec
children
line wrap: on
line source