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.

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

Use separate color for primary selection in jetbrains_dark #12606

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Conversation

danrot
Copy link

@danrot danrot commented Jan 19, 2025

I have tried to use the jetbrains_dark theme, and realized that there was no primary selection color set. That caused some issues, e.g. it is not visible which selection is the primary one.

@the-mikedavis the-mikedavis changed the title Use separate color for primary selection Use separate color for primary selection in jetbrains_dark Jan 23, 2025
@the-mikedavis
Copy link
Member

\cc @ynuwenhof what do you think?

@the-mikedavis the-mikedavis added the A-theme Area: Theme and appearence related label Jan 23, 2025
Comment on lines 49 to 50
"ui.selection" = { bg = "blue131" }
"ui.selection.primary" = { bg = "blue173" }
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"ui.selection" = { bg = "blue131" }
"ui.selection.primary" = { bg = "blue173" }
"ui.selection" = { fg = "black", bg = "blue214" }
"ui.selection.primary" = { bg = "blue131" }

I would probably set ui.selection.primary to the previous color of ui.selection and fix the cursor color to align with the original.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

blue214 = "#ced0d6"

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ynuwenhof I just tried your suggestion, but that doesn't work out. This way the cursor is not visible at all if there is no selection.

Copy link
Contributor

@ynuwenhof ynuwenhof Jan 27, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Have you added blue214 = "#ced0d6" to the palette section? I forgot to include that in my code suggestion.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, that's why you've added that other comment, I wasn't aware 🙈 Adjusted it accordingly.

danrot and others added 3 commits January 27, 2025 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-theme Area: Theme and appearence related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants