Add a setting to manually set the Pane border width #3063
Labels
Area-Settings
Issues related to settings and customizability, for console or terminal
Area-User Interface
Issues pertaining to the user interface of the Console or Terminal
Help Wanted
We encourage anyone to jump in on these.
Issue-Task
It's a feature request, but it doesn't really need a major design.
Product-Terminal
The new Windows Terminal.
Milestone
Follow up from #994 and PR:#3060
In the aforementioned PR, we're hardcoding the border width to
2
. This should really be configurable to any positivedouble
.Questions:
The text was updated successfully, but these errors were encountered: