mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
terminal: fix sporadic (underline) pixel artifact
The framebuffer refresh call missed to consider that content may not vertically start at 0.
This commit is contained in:
parent
fd7357d9d5
commit
f12ddb4ee7
@ -257,11 +257,14 @@ class Terminal::Text_screen_surface
|
|||||||
}
|
}
|
||||||
|
|
||||||
int const num_dirty_lines = last_dirty_line - first_dirty_line + 1;
|
int const num_dirty_lines = last_dirty_line - first_dirty_line + 1;
|
||||||
if (num_dirty_lines > 0)
|
if (num_dirty_lines > 0) {
|
||||||
_framebuffer.refresh(Rect(Point(0, first_dirty_line*_geometry.char_height),
|
int const y = _geometry.start().y()
|
||||||
Area(_geometry.fb_size.w(),
|
+ first_dirty_line*_geometry.char_height;
|
||||||
num_dirty_lines*_geometry.char_height +
|
unsigned const h = num_dirty_lines*_geometry.char_height
|
||||||
_geometry.unused_pixels().h())));
|
+ _geometry.unused_pixels().h();
|
||||||
|
_framebuffer.refresh(Rect(Point(0, y),
|
||||||
|
Area(_geometry.fb_size.w(), h)));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
void apply_character(Character c)
|
void apply_character(Character c)
|
||||||
|
Loading…
Reference in New Issue
Block a user