PreferencesPanel buttonSize

[otristan]

Hi Jules,

Would you be possible to add a get/set to the buttonSize of the PreferencesPanel ?
Currently it’s fixed to 70 pixels.

Thanks,

[jules]

Yes, no problem. Not sure why I hadn’t already provided methods for that.