David Capello da342f29f3 Several changes related to UI scale
* UI scale is an experimental option (it needs app restart)
* We can change the Screen Scale without restarting the app now
* Hide reloading of skin data in SkinTheme::onRegenerate()
* Now setFontOfAllWidgets() is called from Theme::regenerate()
* Remove reload_default_font()
* Simplify gui_setup_screen()
2015-04-17 12:24:33 -03:00
..
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00