Method pad_zeros

modules/gui/gui/src/backend/text_server/ustring.cpp:5016–5050

}

String String::pad_zeros(int p_digits) const
{
    String s   = *this;
    int    end = s.find(".");

    if (end == -1)
    {
        end = s.length();
    }

    if (end == 0)
    {
        return s;
    }

    int begin = 0;

    while (begin < end && !is_digit(s[begin]))
    {
        begin++;
    }

    if (begin >= end)
    {
        return s;
    }

    while (end - begin < p_digits)
    {
        s = s.insert(begin, "0");
        end++;
    }

    return s;
}

String String::trim_prefix(const String& p_prefix) const
{