From 7bec0f36dbd7bc8b0b04b1117fa19631228db65e Mon Sep 17 00:00:00 2001 From: Maximiliano Sandoval R Date: Tue, 22 Dec 2020 18:50:08 +0100 Subject: [PATCH] Message Widget: Add margins for lists Ordered and unordered lists now have margins. --- fractal-gtk/src/widgets/message.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/fractal-gtk/src/widgets/message.rs b/fractal-gtk/src/widgets/message.rs index 319d7a24..ad80b058 100644 --- a/fractal-gtk/src/widgets/message.rs +++ b/fractal-gtk/src/widgets/message.rs @@ -551,6 +551,8 @@ fn render_html_block(container: &MessageBoxContainer, msg: &Message, block: &Htm } HtmlBlock::UList(elements) => { let bx = gtk::Box::new(gtk::Orientation::Vertical, 6); + bx.set_margin_end(6); + bx.set_margin_start(6); for li in elements.iter() { let h_box = gtk::Box::new(gtk::Orientation::Horizontal, 6); @@ -569,6 +571,8 @@ fn render_html_block(container: &MessageBoxContainer, msg: &Message, block: &Htm } HtmlBlock::OList(elements) => { let bx = gtk::Box::new(gtk::Orientation::Vertical, 6); + bx.set_margin_end(6); + bx.set_margin_start(6); for (i, ol) in elements.iter().enumerate() { let h_box = gtk::Box::new(gtk::Orientation::Horizontal, 6);