Am Sonntag, 18. Februar 2007 19:32 schrieb Andre Poenitz: > On Sun, Feb 18, 2007 at 04:38:44PM +0100, Georg Baum wrote: > > Am Sonntag, 18. Februar 2007 15:51 schrieb Andre Poenitz: > > > Attached patch reduces the size of the up and down button in the > > > minibuffer toolbar. > > > > > > Comments? > > > > This is a general problem with all icons that should be fixed in general. > > In this particular instance it bloated the minibuffer toolbar directly.
I won't oppose putting this in (a FIXME would be good), but we should fix the general problem nevertheless. Georg
