Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: increase the search bar highlight border to double the width #9251

Merged
merged 2 commits into from
Nov 16, 2023
Merged

fix: increase the search bar highlight border to double the width #9251

merged 2 commits into from
Nov 16, 2023

Conversation

gaurav2733
Copy link
Collaborator

Checklist

here is the screenshot -
Screenshot from 2023-11-16 12-40-22

  • The PR conforms to DataHub's Contributing Guideline (particularly Commit Message Format)
  • Links to related issues (if applicable)
  • Tests for the changes have been added/updated (if applicable)
  • Docs related to the changes have been added/updated (if applicable). If a new feature has been added a Usage Guide has been added for the same.
  • For any breaking change/potential downtime/deprecation/big changes an entry has been made in Updating DataHub

@github-actions github-actions bot added the product PR or Issue related to the DataHub UI/UX label Nov 16, 2023
@jjoyce0510 jjoyce0510 enabled auto-merge (squash) November 16, 2023 17:18
@jjoyce0510 jjoyce0510 enabled auto-merge (squash) November 16, 2023 17:26
@jjoyce0510 jjoyce0510 merged commit ee9ee40 into datahub-project:master Nov 16, 2023
32 of 35 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jjoyce0510 jjoyce0510 jjoyce0510 approved these changes

Assignees
No one assigned
Labels
product PR or Issue related to the DataHub UI/UX
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@gaurav2733 @jjoyce0510