Add hover_line_number color token (#23279)

This enables having a dedicated color for the line number hover state.
That's relevant because line numbers can now be clicked to jump to
cursor location in multibuffers.

Release Notes:

- N/A

---------

Co-authored-by: João Marcos <marcospb19@hotmail.com>
This commit is contained in:
Danilo Leal 2025-01-17 09:24:42 -03:00 committed by GitHub
parent 37dcca62b7
commit da1c3d8b40
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
14 changed files with 133 additions and 79 deletions

View file

@ -3977,6 +3977,8 @@ impl EditorElement {
let color = if is_active {
cx.theme().colors().editor_active_line_number
} else if !is_singleton && hitbox.is_hovered(cx) {
cx.theme().colors().editor_hover_line_number
} else {
cx.theme().colors().editor_line_number
};