mirror of
https://github.com/mikedilger/gossip.git
synced 2024-09-19 19:46:50 +00:00
Improve threaded feed view (number indent, ident further)
This commit is contained in:
parent
2894441768
commit
d9ee796f7e
@ -397,10 +397,14 @@ fn render_post_actual(
|
|||||||
ui.horizontal(|ui| {
|
ui.horizontal(|ui| {
|
||||||
// Indents first (if threaded)
|
// Indents first (if threaded)
|
||||||
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);
|
ui.add_space(space);
|
||||||
if indent > 0 {
|
if indent > 0 {
|
||||||
ui.separator();
|
ui.label(
|
||||||
|
RichText::new(format!("{}>", indent))
|
||||||
|
.italics()
|
||||||
|
.weak()
|
||||||
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user