From ca7fad97c6858e600fac6c2ef3978a3b191f1fd0 Mon Sep 17 00:00:00 2001 From: Subhraman Sarkar Date: Mon, 23 Sep 2024 14:23:02 +0530 Subject: [PATCH] rich label: increase padding --- src/gui/widgets/rich_label.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gui/widgets/rich_label.cpp b/src/gui/widgets/rich_label.cpp index 5671ba5c957..4231db45712 100644 --- a/src/gui/widgets/rich_label.cpp +++ b/src/gui/widgets/rich_label.cpp @@ -63,7 +63,7 @@ rich_label::rich_label(const implementation::builder_rich_label& builder) , init_w_(builder.width(get_screen_size_variables())) , w_(0) , h_(0) - , padding_(4) + , padding_(5) { connect_signal( std::bind(&rich_label::signal_handler_left_button_click, this, std::placeholders::_3)); @@ -422,7 +422,7 @@ std::pair rich_label::get_parsed_text( // column post-processing max_row_height = std::max(max_row_height, static_cast(size.y)); - col_x += col_widths[col_idx] + padding_; + col_x += col_widths[col_idx] + 2 * padding_; config& end_cfg = std::prev(text_dom.ordered_end())->cfg; end_cfg["actions"] = boost::str(boost::format("([set_var('pos_x', %d), set_var('pos_y', %d), set_var('tw', width - %d - %d)])") % col_x % row_y % col_x % (width/columns));