seanegan at gmail.com
Thu May 24 01:46:39 EDT 2007
On 5/23/07, Tim Ringenbach <tim.ringenbach at gmail.com> 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
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