From: Michael Gernoth <michael@gernoth.net>
Date: Mon, 14 Jan 2008 12:13:00 +0000 (+0100)
Subject: resize editor when resizing window
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/2b8964762fece215b12e606abfb75c325f93e27e?ds=inline;hp=2b8964762fece215b12e606abfb75c325f93e27e

resize editor when resizing window
---