From: Michael Gernoth <michael@gernoth.net>
Date: Mon, 14 Jan 2008 14:18:53 +0000 (+0100)
Subject: correctly resize editor window to be in sync with the mini map
X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/cac78bdea6589c809f22efe666bd367121c15aa3?ds=inline;hp=cac78bdea6589c809f22efe666bd367121c15aa3

correctly resize editor window to be in sync with the mini map
---