[Gimp-developer] toolbox of gimp is changing smaller when I switch themes..

[Sven Neumann]

Hi,

On Wed, 2008-10-08 at 14:49 +0900, Choi, JiHui wrote:

> I think it's a bug. see this movie.
> 
> http://kr.youtube.com/watch?v=CaFyCnAHJTY

It wouldn't have been necessary to make a video for this (and to upload
it to youtube...). This is a known problem. But since changing themes
back and forth is not something that the user does very often, no one
has found the motivation yet to fix it. If you care about it, why don't
you try to fix it and send us a patch?


Sven