From: Michael Gernoth Date: Thu, 16 Dec 2010 21:31:44 +0000 (+0100) Subject: show mini-map when hovering over the empty mini-map frame X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/acf0c223865d57c2f2115e7ed62397bc32c772fe?hp=acf0c223865d57c2f2115e7ed62397bc32c772fe show mini-map when hovering over the empty mini-map frame ---