4 Commits

Author	SHA1	Message	Date
Filippo Scognamiglio	fdfd57a187	Font scaling now works. (Yes, there are still problems with on the fly font changing)	2013-12-28 02:43:21 +01:00
Filippo Scognamiglio	6e9b7bc824	small fixes in window loading	2013-12-28 00:38:05 +01:00
Filippo Scognamiglio	ae66af1104	Settings are now stored, and reloaded at each execution	2013-12-28 00:21:12 +01:00
Filippo Scognamiglio	9bcfb93e1c	It is now possible to change the font, but the window gets reloaded.	2013-12-27 22:25:33 +01:00