From: Robin Rosenberg <robin.rosenberg.lists@dewire.com>
Date: Thu, 21 Aug 2008 20:12:10 GMT
Subject: Re: [EGIT PATCH 00/31] Push GUI, GUI improvements, various jgit stuff
Message-ID: <200808212212.11184.robin.rosenberg.lists@dewire.com>
In-Reply-To: <48AB84A2.7010905@gmail.com>

onsdagen den 20 augusti 2008 04.42.42 skrev Marek Zawirski:
> Actually, I'm now leaving for few days, so I'm sending out just fixes 
> for issues pointed out by Shawn and found by me in the mean time. I'll 
> squash these patches with existing commits in push branch, as it is 
> probably worth nothing to keep this in history.

As I'm too eager to get this out (seems to work), I can squash it and
rearrange the checkbox-related code a little like stealing the icons
from the Eclipse CVS and grouping the checkbox classes with the
icons plus a tweak for selecting how the images for the checkbox
are created.

-- robin