Function replace_last

common/console.cpp:306–313

    }

    static void replace_last(char ch) {
#if defined(_WIN32)
        pop_cursor();
        put_codepoint(&ch, 1, 1);
#else
        fprintf(out, "\b%c", ch);
#endif
    }

    static void append_utf8(char32_t ch, std::string & out) {
        if (ch <= 0x7F) {