Skip to content

Expose border style for debug toolbar. Fixes #39324#39976

Merged
isidorn merged 2 commits intomicrosoft:masterfrom
usernamehw:patch-2
Dec 13, 2017
Merged

Expose border style for debug toolbar. Fixes #39324#39976
isidorn merged 2 commits intomicrosoft:masterfrom
usernamehw:patch-2

Conversation

@usernamehw
Copy link
Contributor

@isidorn isidorn self-assigned this Dec 11, 2017
@isidorn isidorn added this to the December 2017 milestone Dec 11, 2017
@isidorn
Copy link
Collaborator

isidorn commented Dec 12, 2017

@usernamehw great PR, thanks a lot!

Currently you add the border transparent even if the theme is not specifying the color, this means that the widget will be larger by 2px in the default case. Can we handle this same as with contrastBorderColor before, that is to not add the border at all if the theme does not contrbute this?

Once you adress this I will merge the PR in.

@isidorn
Copy link
Collaborator

isidorn commented Dec 13, 2017

@usernamehw looks good to me, thanks a lot for the pr!
🍻

@isidorn isidorn merged commit 861bd52 into microsoft:master Dec 13, 2017
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants