"Minimum input area hight in lines"
will at willthompson.co.uk
Sun May 11 19:12:38 EDT 2008
Will Thompson <will <at> willthompson.co.uk> writes:
> On 11/05/08 06:39, Sean Egan wrote:
> > 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.
> I basically agree that it's a rubbish preference, and that direct
> manipulation would be better (although it's not clear to me how the
> subclasses divider would behave).
To elaborate slightly here: the problem is that some people want a minimum size
for the widget, and some other people want a maximum size. I don't see a way to
sanely configure both with a single draggable divider.
More information about the Devel