Add a setting to manually set the Pane border width #4260

Open
opened 2026-01-30 23:42:21 +00:00 by claunia · 2 comments
Owner

Originally created by @zadjii-msft on GitHub (Oct 4, 2019).

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?
Originally created by @zadjii-msft on GitHub (Oct 4, 2019). 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?
Author
Owner

@DHowett-MSFT commented on GitHub (Oct 8, 2019):

Does this one need to be a setting? Can we live with "there is a border" / "there is no border"?

@DHowett-MSFT commented on GitHub (Oct 8, 2019): Does this one need to be a setting? Can we live with "there is a border" / "there is no border"?
Author
Owner

@zadjii-msft commented on GitHub (Oct 24, 2019):

I mean, there's pretty minimal difference between implementing this as a bool vs a double, right? I personally think a smaller border is nice, but there might be someone who's crazy and wants an 8px border or something

@zadjii-msft commented on GitHub (Oct 24, 2019): I mean, there's pretty minimal difference between implementing this as a `bool` vs a `double`, right? I personally think a smaller border is nice, but there might be someone who's crazy and wants an 8px border or something
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#4260