diff build_upload_win_nightly @ 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 f249fd91b0f5
children 0d942ecf38c5
line wrap: on
line diff