From: Michael Gernoth Date: Mon, 14 Jan 2008 12:13:00 +0000 (+0100) Subject: resize editor when resizing window X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/2b8964762fece215b12e606abfb75c325f93e27e?hp=2b8964762fece215b12e606abfb75c325f93e27e resize editor when resizing window ---