Method flush

gecode/gist/textoutput.cpp:54–60

      QTextEdit* editor;
    public:
      void flush(void) {
        QTextBlockFormat bf = editor->textCursor().blockFormat();
        bf.setBottomMargin(0);
        editor->textCursor().setBlockFormat(bf);
        editor->append(buffer);
        buffer.clear();
      }
      virtual int overflow(int v = std::char_traits<char>::eof()) {
        if (v == '\n') {
          flush();