cs2103aug2014-w10-1c/main — pull request #259 by lowjoel (2014-10-28 07:55:20+00:00)
Title: Fix the height of the input box on high-res displays.

Fixes #242.