Davy Durham wrote: > A margin setting on PackedGroup would be really great. This would provide > space around the widgets inside the group distinct from spacing between > widgets. > > Is anyone opposed to this? I was wondering why it wasn't there already. Is > it already doable some other way? I'm willing to implement it it no one > opposes.
In theory you do this by making a Group with your box, and then making the Pack be the resizable() child which is inset the correct amount. However that is somewhat of a pain and not intuitive. The pack also uses the inset() of the box() for this, although that is of limited usefulness, as making a thick border requires creating a dummy symbol with this larger inset. But it is nice that changing the box() changes the inset, so probably any additional controls should be added to the inset. Anyway I don't see any problem with adding this. Also there is spacing() which is put between the widgets, you might _______________________________________________ fltk-dev mailing list [email protected] http://lists.easysw.com/mailman/listinfo/fltk-dev
