app: make GimpDial's size configurable via a property