diff analyze_olp.py @ 1572:5efeca06d942

Scale UI font size based on window size and start basing widget sizes based on font size
author Michael Pavone <pavone@retrodev.com>
date Tue, 24 Apr 2018 20:31:18 -0700
parents 6854ab93d182
children b1ad6339de4f
line wrap: on
line diff