This repository has been archived by the owner on Mar 23, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 190
fix: use margin instead of border as separator #1866
Merged
alexbarnsley
merged 3 commits into
ArkEcosystem:develop
from
dated:fix/button-dropdown-separator
Apr 1, 2020
Merged
fix: use margin instead of border as separator #1866
alexbarnsley
merged 3 commits into
ArkEcosystem:develop
from
dated:fix/button-dropdown-separator
Apr 1, 2020
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dated
requested review from
alexbarnsley,
faustbrian,
ItsANameToo and
luciorubeens
as code owners
March 25, 2020 14:45
Thanks for submitting this pull request! A maintainer will review this in the next few days and explicitly select labels so you know what's going on. If no reviewer appears after a week, a reminder will be sent out. |
ghost
added
Complexity: Low
Less than 64 lines changed.
Type: Bugfix
The pull request fixes an incorrect functionality or behaviour.
labels
Mar 25, 2020
brenopolanski
previously approved these changes
Mar 25, 2020
ghost
added
the
Status: Member Approved
The pull request has been approved by a member.
label
Mar 25, 2020
A member has approved this PR. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait. Thank you for your contribution! |
@dated rebase to develop |
ghost
mentioned this pull request
Mar 29, 2020
alexbarnsley
approved these changes
Apr 1, 2020
A member has approved this PR. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait. Thank you for your contribution! |
alexbarnsley
added
the
Bounty: Tier 5
Awarded for minor features, refactorings, improvements. This is valued at 0 USD.
label
Apr 1, 2020
Your pull request has been merged. Thank you for your contribution to the ARK Ecosystem. |
ghost
mentioned this pull request
Apr 5, 2020
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Labels
Bounty: Tier 5
Awarded for minor features, refactorings, improvements. This is valued at 0 USD.
Complexity: Low
Less than 64 lines changed.
Status: Member Approved
The pull request has been approved by a member.
Type: Bugfix
The pull request fixes an incorrect functionality or behaviour.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
The color of the separator of the dropdown button is wrong in dark mode.
dark:
light:
Instead of using a colored border this PR changes the component to have a margin instead.
Checklist