Skip to content

Fix diff editor dark theme ui#955

Merged
notsidney merged 1 commit intodevelopfrom
fix/diff-editor-dark-theme
Nov 17, 2022
Merged

Fix diff editor dark theme ui#955
notsidney merged 1 commit intodevelopfrom
fix/diff-editor-dark-theme

Conversation

@bofeiw
Copy link
Contributor

@bofeiw bofeiw commented Nov 17, 2022

This PR applies the same fix that was applied to the code editor, to diff editor.

Before fix:
Screen Shot 2022-11-17 at 12 53 36 pm

After fix:
Screen Shot 2022-11-17 at 12 54 38 pm

@bofeiw bofeiw requested a review from notsidney November 17, 2022 04:54
@vercel
Copy link

vercel bot commented Nov 17, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
rowy-os 🔄 Building (Inspect) Nov 17, 2022 at 4:54AM (UTC)

@notsidney notsidney merged commit 7c6c035 into develop Nov 17, 2022
@bofeiw bofeiw deleted the fix/diff-editor-dark-theme branch November 17, 2022 05:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants