Menu restructuring

Sean Egan seanegan at
Thu May 24 01:46:39 EDT 2007

On 5/23/07, Tim Ringenbach <tim.ringenbach at> wrote:
> It sounds like all of the above is for the purpose of unsetting the
> allow_shrink property. I'm not sure why we feel the need to do this. Does it
> hurt something? Have we gotten bug reports related to having the window too
> small?

Yes, we have. They're always the fault of either the window manager or
the GTK+ theme, but there are plenty of bugs caused by allowing
arbitrarily small windows.

Mostly though, I think it's simply better UI to have enough room to
display what you need to.


More information about the Devel mailing list