[Cuis-dev] Tweaks to GUI elements size windows

[Juan Vuletich]

Hi Folks,

I just pushed a change to tweak a bit the behavior of the "Size of GUI 
elements" menu. I felt that the difference between sizes was too large, 
so I made "tiny" larger, "huge" smaller, and adjusted the rest. I hope 
you find it pleasant and not annoying. In any case, now you can call 
#defaultFontSize: with any number, especially if using TrueType.

Thanks,

-- 
Juan Vuletich
www.cuis-smalltalk.org
https://github.com/Cuis-Smalltalk/Cuis-Smalltalk-Dev
https://github.com/jvuletich
https://www.linkedin.com/in/juan-vuletich-75611b3
https://independent.academia.edu/JuanVuletich
https://www.researchgate.net/profile/Juan-Vuletich
https://patents.justia.com/inventor/juan-manuel-vuletich
@JuanVuletich