terminal: Make font size configurable
authorKristian Høgsberg <krh@bitplanet.net>
Wed, 27 Jun 2012 21:52:23 +0000 (17:52 -0400)
committerKristian Høgsberg <krh@bitplanet.net>
Wed, 27 Jun 2012 21:52:23 +0000 (17:52 -0400)
commit38912df847d51b320b67a84a726d9db5512e66b0
tree5a4bf48ff340034d6fc3223daa39c8825bb8f5b7
parent333db0a17e2dcec0fa5117e50df2625643131772
terminal: Make font size configurable
clients/terminal.c