Merge branch 'main' into dev/gizmo

2026-09-28 03:11:47 +00:00 · 2023-11-19 15:47:47 +08:00
parent 5045642de0 ebbe5a4d80
commit df48b05f73
8 changed files with 344 additions and 242 deletions
@@ -176,6 +176,7 @@ public:
                     bool                          is_localized);
    void bold_text(const std::string &str);
    void title(const std::string& str);
+    void title(const std::string &str, bool suppress_seperator);

    // set font
    const std::vector<std::string> get_fonts_names() const { return m_fonts_names; }