From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 27 Jul 2009 09:29:43 +0000 (+0200)
Subject: Redraw affected areas after de-selecting a region
X-Git-Tag: build37~34
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38d5e09c01ddffc98430c3c55ed3ccb821180cbf;hp=38d5e09c01ddffc98430c3c55ed3ccb821180cbf;p=pspp-builds.git

Redraw affected areas after de-selecting a region
---