summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2019-10-28 10:51:52 +0200
committerManos Pitsidianakis <el13635@mail.ntua.gr>2019-10-28 11:04:44 +0200
commiteacf5ecc20baa982643cbfef8eb9048047827ddf (patch)
tree5be24e949a72019c59e5f2ec3a48aa3576207421
parentf198c139787965648f6d2a81fb60219c124ea077 (diff)
Add padding to kill box
-rw-r--r--src/ui/components/processes.rs6
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);