Pause the game when window loses focus, fixes #513
[supertux.git] / tools / font-add-border.py
2014-08-04 Ingo RuhnkeAdded 1-pixel transparent border around glyphs to avoid...