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

Add Dark Mode to Mute Issue window #5096

Closed
georgii-borovinskikh-sonarsource opened this issue Dec 8, 2023 · 0 comments · Fixed by #5097
Closed

Add Dark Mode to Mute Issue window #5096

georgii-borovinskikh-sonarsource opened this issue Dec 8, 2023 · 0 comments · Fixed by #5097
Assignees
@georgii-borovinskikh-sonarsource
Labels
Type: Task

Comments

@georgii-borovinskikh-sonarsource
Copy link
Contributor

No description provided.

@georgii-borovinskikh-sonarsource georgii-borovinskikh-sonarsource changed the title Support dark mode in Mute Issue window Add Dark Mode to Mute Issue window Dec 8, 2023
Merged
@georgii-borovinskikh-sonarsource georgii-borovinskikh-sonarsource linked a pull request Dec 8, 2023 that will close this issue
Add Dark Mode to Mute Issue window #5097
Merged
georgii-borovinskikh-sonarsource added a commit that referenced this issue Dec 8, 2023
@georgii-borovinskikh-sonarsource
Add Dark Mode to Mute Issue window (#5097)
c333b7e 
Fixes #5096
ugras-ergun-sonarsource pushed a commit that referenced this issue Dec 11, 2023
@georgii-borovinskikh-sonarsource @ugras-ergun-sonarsource
Add Dark Mode to Mute Issue window (#5097)
dce4a48 
Fixes #5096
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@georgii-borovinskikh-sonarsource georgii-borovinskikh-sonarsource

Labels
Type: Task
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Dark Mode to Mute Issue window SonarSource/sonarlint-visualstudio
2 participants
@ugras-ergun-sonarsource @georgii-borovinskikh-sonarsource