[tshering]

I think it is rather a lack of interest by those who have to decide. Presently, the values for several resolutions are hard-coded. If these values were read from a configuration file instead, as much testing would be needed as now, and the user had the possibility to change values on his own risk. To clarify, I am mainly concerned with the font size.