From 942eb4b4203420b11ad81cd5afb41265460efd3a Mon Sep 17 00:00:00 2001 From: boxdot Date: Mon, 11 Jul 2022 09:46:30 +0200 Subject: [PATCH] Fix time indent After #164 being merged, indent is now smaller. --- src/ui.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ui.rs b/src/ui.rs index df14b77..388619a 100644 --- a/src/ui.rs +++ b/src/ui.rs @@ -335,7 +335,7 @@ fn draw_messages(f: &mut Frame, app: &mut App, area: Rect) { let max_username_width = names.max_name_width(); // message display options - const TIME_WIDTH: usize = 10; + const TIME_WIDTH: usize = 6; // width of "00:00 " const DELIMITER_WIDTH: usize = 2; let mut prefix_width = TIME_WIDTH + max_username_width + DELIMITER_WIDTH; if app.config.show_receipts {