dbent/Ketchup — pull request #17 by dbent (2013-07-21 22:36:33+00:00)
Title: Improve Monitor scaling

Scaling is now done by scaling the texture rather than repeating pixels,
and the user now has buttons to adjust the scaling in-game.