listing: clear_area in draw_menu
Completely clear area in draw_menu instead of resetting ch, fg, bg etc.jmap-eventsource
parent
cbaf21764c
commit
23777171f2
|
@ -1457,15 +1457,7 @@ impl Listing {
|
||||||
if !self.is_dirty() {
|
if !self.is_dirty() {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
for row in grid.bounds_iter(area) {
|
clear_area(grid, area, self.theme_default);
|
||||||
for c in row {
|
|
||||||
grid[c]
|
|
||||||
.set_ch(' ')
|
|
||||||
.set_fg(self.theme_default.fg)
|
|
||||||
.set_bg(self.theme_default.bg)
|
|
||||||
.set_attrs(self.theme_default.attrs);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
/* visually divide menu and listing */
|
/* visually divide menu and listing */
|
||||||
area = (area.0, pos_dec(area.1, (1, 0)));
|
area = (area.0, pos_dec(area.1, (1, 0)));
|
||||||
let upper_left = upper_left!(area);
|
let upper_left = upper_left!(area);
|
||||||
|
|
Loading…
Reference in New Issue