A small collection of tweaks for Better UI (2.0), to work specifically with +20% GUI Scaling.
Primary LanguageAMPL