"Minimum input area hight in lines"
rlaager at wiktel.com
Sun May 11 21:13:11 EDT 2008
On Sun, 2008-05-11 at 23:12 +0000, Will Thompson wrote:
> 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.
A minimum size should appease most people. If we want to go further, I'd
suggest putting a button next to the divider that uses the
locked/unlocked icons (run gnome-volume-control to see the icons). The
divider would set the minimum size. The button (which would default to
unlocked) would determine whether or not you auto-resize.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 189 bytes
Desc: This is a digitally signed message part
More information about the Devel