mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
terminal: refresh only if output changed
This commit is contained in:
parent
9cf315b37e
commit
c0c3b48357
@ -376,9 +376,10 @@ namespace Terminal {
|
||||
}
|
||||
|
||||
int num_dirty_lines = last_dirty_line - first_dirty_line + 1;
|
||||
|
||||
_framebuffer->refresh(0, first_dirty_line*_char_height,
|
||||
_fb_mode.width(), num_dirty_lines*_char_height);
|
||||
if (num_dirty_lines > 0)
|
||||
_framebuffer->refresh(0, first_dirty_line*_char_height,
|
||||
_fb_mode.width(),
|
||||
num_dirty_lines*_char_height);
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user