Skip to content
GitLab
Explore
Sign in
Paulo Queiroz
Black Box
Issues
#138
Feature Request: Add rounded corners to terminal tabs