"Minimum input area hight in lines"

Sean Egan seanegan at gmail.com
Sun May 11 01:39:03 EDT 2008

I think that if we're going to allow manual control of this thing's
size, it should be via direct manipulation. If this is important, it's
better to subclass GtkPaned to do what we want than to add something
to Preferences for it, I think.


More information about the Devel mailing list