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. -s.