github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-02-14 05:12:48 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Small refactor of Reader::flash

Browse Source
This commit is contained in:
kerty 2025-01-22 23:18:14 +03:00 committed by Johannes Altmanninger
parent d5fdcc96c8
commit 4994000a27
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/reader.rs
View File

@ -4017,20 +4017,17 @@ impl<'a> Reader<'a> {
// Save off the colors and set the background. // Save off the colors and set the background.
let saved_colors = data.colors.clone(); let saved_colors = data.colors.clone();
for i in 0..self.command_line.position() { for color in &mut data.colors[0..self.command_line.position()] {
data.colors[i].foreground = HighlightRole::search_match; color.foreground = HighlightRole::search_match;
data.colors[i].background = HighlightRole::search_match; color.background = HighlightRole::search_match;
} }
self.rendered_layout = data.clone(); // need to copy the data since we will use it again. self.rendered_layout = data;
self.paint_layout(L!("flash"), false); self.paint_layout(L!("flash"), false);
let _old_data = std::mem::take(&mut self.rendered_layout);
std::thread::sleep(Duration::from_millis(100)); std::thread::sleep(Duration::from_millis(100));
// Re-render with our saved data. // Re-render with our saved data.
data.colors = saved_colors; self.rendered_layout.colors = saved_colors;
self.rendered_layout = data;
self.paint_layout(L!("unflash"), false); self.paint_layout(L!("unflash"), false);
// Save the time we stopped flashing as the time of the most recent flash. We can't just // Save the time we stopped flashing as the time of the most recent flash. We can't just