GUI2/Rich Label: fix set_dom not taking effect

This commit is contained in:
Charles Dang 2025-03-21 23:51:36 -04:00
parent f18821fd9a
commit d192cbd21a

View File

@ -252,6 +252,8 @@ std::vector<std::string> rich_label::split_in_width(
void rich_label::set_dom(const config& dom) {
std::tie(shapes_, size_) = get_parsed_text(dom, point(0,0), init_w_, true);
update_canvas();
queue_redraw();
}
void rich_label::set_label(const t_string& text) {