changeStayOnTop(void) | Gecode::Gist::TextOutputI | [protected, slot] |
getStream(void) | Gecode::Gist::TextOutputI | |
insertHtml(const QString &s) | Gecode::Gist::TextOutputI | |
TextOutputI(const std::string &name, QWidget *parent=0) | Gecode::Gist::TextOutputI | |
~TextOutputI(void) | Gecode::Gist::TextOutputI |