[Feature]: Control the editor tab rounding radius (arc size) #618
Description
Describe the feature
I would like to have the option to control "how" rounded the editor tabs are rendered when enabling the rounded tabs feature so that they can match the rounding radius I configured for my islands layout:
Islands layout configuration screen has this setting:
Which is what I'm looking for on the tabs configuration.
The other options like inner/outer spacing and gap controls would also be a nice plus.
Use Cases
Matching the visual rendering of editor tabs to the rest of the UI as configured.
Examples/Mockups
See above
Material Theme Version
v10.8.0
IDE
PHPStorm