Closed robertrossmann closed 6 years ago
Adds an option to make the tabs stretch to full available width of the tab bar. This follows what the One Dark theme does, for example.
Closes #445.
Description of the Change
Adds an option to make the tabs stretch to full available width of the tab bar. This follows what the One Dark theme does, for example.
Benefits
Possible Drawbacks
Applicable Issues
Closes #445.