Skip to content

ui and darkmode fixes #9978

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
Merged
GiladShoham merged 2 commits into from
Sep 3, 2025
Merged

ui and darkmode fixes #9978

GiladShoham merged 2 commits into from
Sep 3, 2025

Conversation

@JoshK2
Copy link
Member

@JoshK2 JoshK2 commented Sep 3, 2025 •
edited
Loading

Proposed Changes

  • Install new version of code-tab-tree to fix double border in code tab tree, the right side panel in component page.
  • Install new version of command-bar to fix darkmode border.
  • Change env filter, use updated dropdown instead of unmaintained multi-select component, fix tooltip position, fix tooltip being cut, fix darkmode colors.
  • Split code in env filter into multiple files for better readability and maintainability.
  • Fix darkmode colors for deprecated filter and show main filter.
  • Use updated toggle component instead of deprecated toggle component.
@JoshK2 JoshK2 requested a review from GiladShoham September 3, 2025 08:59
@GiladShoham GiladShoham merged commit 93ba628 into master Sep 3, 2025
11 checks passed
@GiladShoham GiladShoham deleted the ui-and-darkmode-fixes branch September 3, 2025 11:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants

@JoshK2 @GiladShoham