Adding a border-radius option

[abdo0123780073]

Extension name and maintainer

centered-cinnamon-dock@mostlynick3 @mostlynick3

What would you like to see?

Please add the border-radius option to the add-on settings
Thank you

[mostlynick3]

Just to clarify, you want the rounding of the corners to be configurable, right?

[abdo0123780073]

Yes