Symbol: flush_to_buffer
headers/cpp/editbuf.h
178
inline void edit_streambuf::flush_to_buffer()
src/libs/stdc++/legacy/editbuf.cc
71
void edit_streambuf::flush_to_buffer(edit_buffer* buffer)