Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use local player selection color, not cursor, for terminal selection

Browse source
This commit is contained in:
Julia 2024-02-12 10:40:26 -05:00 • committed by Julia
parent 0fb6b32bc3
commit d959719f3e
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/terminal_view/src/terminal_element.rs
View file

@ -447,7 +447,7 @@ impl TerminalElement {
};
let text_system = cx.text_system();
let selection_color = theme.players().local();
let player_color = theme.players().local();
let match_color = theme.colors().search_match_background;
let gutter;
let dimensions = {
@ -526,7 +526,7 @@ impl TerminalElement {
}
if let Some(selection) = selection {
relative_highlighted_ranges
.push((selection.start..=selection.end, selection_color.cursor));
.push((selection.start..=selection.end, player_color.selection));
}
// then have that representation be converted to the appropriate highlight data structure