From 46281ca6e64f078d032078878af7aa0a5122424a Mon Sep 17 00:00:00 2001 From: Mike Dilger Date: Thu, 29 Dec 2022 07:40:59 +1300 Subject: [PATCH] Logarithmic indent, so deep indents don't go too far to the right --- src/ui/feed.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ui/feed.rs b/src/ui/feed.rs index 7a6df5a7..3ca60bdb 100644 --- a/src/ui/feed.rs +++ b/src/ui/feed.rs @@ -134,10 +134,10 @@ fn render_post( ui.horizontal(|ui| { // Indents first (if threaded) if app.settings.view_threaded { - for _ in 0..indent { - ui.add_space(8.0); + let space = 16.0 * (10.0 - (100.0 / (indent as f32 + 10.0))); + ui.add_space(space); + if indent > 0 { ui.separator(); - ui.add_space(8.0); } }