(GLUI) Allow use of non monospaced fonts
Merge pull request #994 from lakkatv/lakka

(GLUI) Allow use of non monospaced fonts