microsoft/Terminal
Ver no GitHubAdd a setting to manually set the Pane border width
Open
#3.063 aberto em 4 de out. de 2019
Area-SettingsArea-UserInterfaceHelp WantedIssue-TaskProduct-Terminal
Métricas do repositório
- Stars
- (35.764 stars)
- Métricas de merge de PR
- (Mesclagem média 27d 19h) (24 fundiu PRs em 30d)
Description
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 positive double.
Questions:
- (Similar to the discussion in #3061) There's been discussion before about allowing custom theming, hypothetically powered by XAML. Would we want to wait for that discussion to be had before we do this?
- If we do want to do this in XAML later, would enabling it in the json now negatively impact that future scenario?