{

auto buffer = buf();

auto str = buffer->str();

if (!str.empty()) {

add_text(cur_color, buffer->str());

buffer->str(std::string());

}

if (flush)

flush_proxy();

{

va_list args;

va_start(args, format);

vprint(format, args);

va_end(args);

{

std::string str = stl_vsprintf(format, args);

if (!str.empty()) {

flush_buffer(false);

add_text(cur_color, str);

if (str[str.size()-1] == '\n')

flush_proxy();

}

{

va_list args;

va_start(args, format);

vprinterr(format, args);

va_end(args);

{

color_value save = cur_color;

if (log_errors_to_stderr)

{

va_list args1;

va_copy(args1, args);

vfprintf(stderr, format, args1);

va_end(args1);

}

color(COLOR_LIGHTRED);

va_list args2;

va_copy(args2, args);

vprint(format, args2);

va_end(args2);

color(save);

{

if (c == cur_color)

return;

flush_buffer(false);

cur_color = c;

{

if (text.empty())

return;

if (buffer.empty())

{

buffer.push_back(fragment_type(color, text));

}

else

{

auto &back = buffer.back();

if (back.first != color || std::max(back.second.size(), text.size()) > 128)

buffer.push_back(fragment_type(color, text));

else

buffer.back().second += text;

}

{

if (buffer.empty())

return;

if (target)

{

target->begin_batch();

for (auto it = buffer.begin(); it != buffer.end(); ++it)

target->add_text(it->first, it->second);

target->end_batch();

}

buffer.clear();