Hi Ed, Any particular reason not to use a GtkSpinButton for the text size field in the text properties dialog (etc)?
Peter -- Dr Peter Brett http://peter-b.co.uk/ -- Mailing list: https://launchpad.net/~geda-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~geda-developers More help : https://help.launchpad.net/ListHelp
