Improvements to the free file format GUI elements (window and element).
This includes specifying fonts, button sizes, and a fix for the button sizer in the GUI element.
Authored by: bugman 2011-07-29
Parent: [r13980]
Child: [r13982]
