Re: [EGIT PATCH 00/31] Push GUI, GUI improvements, various jgit stuff
- From
Robin Rosenberg <robin.rosenberg.lists@dewire.com>
- Date
- Aug 21, 2008, 20:12 UTC
- 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