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

Gutter checkboxes not shown when unchecked in new 3-way merge editor #4

Closed
franzgollhammer opened this issue Aug 12, 2022 · 0 comments · Fixed by #5
Closed

Gutter checkboxes not shown when unchecked in new 3-way merge editor #4

franzgollhammer opened this issue Aug 12, 2022 · 0 comments · Fixed by #5

Comments

@franzgollhammer
Copy link

franzgollhammer commented Aug 12, 2022 •
edited
Loading

In the new 3-way merge editor the checkboxes to accept merge changes are not visible in the gutter when they are unchecked.

CleanShot 2022-08-12 at 09 47 10

Current quick-fix:

Change checkbox border color to some brighter color in settings.json

"workbench.colorCustomizations": {
    "[Jetbrains Fleet]": {
      "checkbox.border": "#6D6D6D"
    },
  },

CleanShot 2022-08-12 at 09 54 31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix issue #4 Michaelzhouisnotwhite/Jetbrains-Fleet-Theme
1 participant
@franzgollhammer