From d9ee796f7ef7eff493f3957ba87d7c27da770854 Mon Sep 17 00:00:00 2001 From: Mike Dilger Date: Sat, 7 Jan 2023 13:22:27 +1300 Subject: [PATCH] Improve threaded feed view (number indent, ident further) --- src/ui/feed.rs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/ui/feed.rs b/src/ui/feed.rs index 6c49c4e0..f4429e69 100644 --- a/src/ui/feed.rs +++ b/src/ui/feed.rs @@ -397,10 +397,14 @@ fn render_post_actual( ui.horizontal(|ui| { // Indents first (if threaded) if threaded { - let space = 16.0 * (10.0 - (100.0 / (indent as f32 + 10.0))); + let space = 100.0 * (10.0 - (1000.0 / (indent as f32 + 100.0))); ui.add_space(space); if indent > 0 { - ui.separator(); + ui.label( + RichText::new(format!("{}>", indent)) + .italics() + .weak() + ); } }