diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-10-28 10:51:52 +0200 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-10-28 11:04:44 +0200 |
commit | eacf5ecc20baa982643cbfef8eb9048047827ddf (patch) | |
tree | 5be24e949a72019c59e5f2ec3a48aa3576207421 | |
parent | f198c139787965648f6d2a81fb60219c124ea077 (diff) |
Add padding to kill box
-rw-r--r-- | src/ui/components/processes.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ui/components/processes.rs b/src/ui/components/processes.rs index 8b7c14f..fd6b8b2 100644 --- a/src/ui/components/processes.rs +++ b/src/ui/components/processes.rs @@ -1097,11 +1097,11 @@ impl Component for ProcessList { if let Kill(ref n) = self.mode { let (cols, rows) = grid.size(); - let margin_left = (cols / 2).saturating_sub(16); + let margin_left = (cols / 2).saturating_sub(20); let margin_top = (rows / 2).saturating_sub(12); let box_area = ( (margin_left, margin_top), - (margin_left + 32, margin_top + 12), + (margin_left + 36, margin_top + 12), ); clear_area(grid, box_area); create_box(grid, box_area); @@ -1124,7 +1124,7 @@ impl Component for ProcessList { } let box_area = ( (margin_left, margin_top + 13), - (margin_left + 32, margin_top + 16), + (margin_left + 36, margin_top + 16), ); clear_area(grid, box_area); create_box(grid, box_area); |