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

chore: update sizings tokens for tooltip #1755

Merged
merged 3 commits into from
Nov 1, 2023
Merged

chore: update sizings tokens for tooltip #1755

merged 3 commits into from
Nov 1, 2023

Conversation

nmerget
Copy link
Member

@nmerget nmerget commented Oct 31, 2023 •
edited by mfranzke
Loading

Proposed changes

Update tokens to use correct tokens for tooltip

Types of changes

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Refactoring (fix on existing components or architectural decisions)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation Update (if none of the other choices apply)

Further comments

@github-actions GitHub Actions
Copy link
Contributor

🔭🐙🐈 Test this branch here: https://db-ui.github.io/mono/review/chore-sizing-tokens-toolip

@mfranzke mfranzke removed request for dkolba and annsch October 31, 2023 16:11
@nmerget nmerget merged commit f099436 into main Nov 1, 2023
29 checks passed
@nmerget nmerget deleted the chore-sizing-tokens-toolip branch November 1, 2023 07:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mfranzke mfranzke mfranzke approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nmerget @mfranzke