minetest/minetest — pull request #1561 by sapier (2014-08-17 01:42:48+00:00)
Title: Implement proper font handling

Adds on the fly font size changes
Adds interface for loading different fonts (e.g. Mono font in chat console)
Adds support for different font sizes

This is not supposed to result in absolutely identical menu as it's removing the current automatic gui scaling and replaces it by evaluation of parameter screen_dpi.
That parameter as well as font size setting are supposed to be added to GUI settings subtab to be implemented soon.