>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
>> The patch is in, all the remains is adding the buttons. Shall we do >> it now? Georg> I'd say yes. Uwe misunderstood me, I originally did not want to Georg> include this in 1.4.3, but since we have the icons now I don't Georg> see any reason not to include them. I changed the colors a bit Georg> because I thought the light grey might not be distinguishable Georg> from the background in some themes. Is the attached patch OK? Yes, this patch is OK. JMarc
