diff options
Diffstat (limited to 'src/gui/debate.C')
-rw-r--r-- | src/gui/debate.C | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/gui/debate.C b/src/gui/debate.C index 50c6891a..ba58c522 100644 --- a/src/gui/debate.C +++ b/src/gui/debate.C @@ -35,6 +35,13 @@ namespace OpenAxiom { + static void + start_interpreter(Conversation* conv) { + QStringList args; + args << "--no-server" << "--role=slave"; + conv->oracle()->start("open-axiom",args); + } + Debate::Debate(QWidget* parent) : QScrollArea(parent), conv(*this) { setWidget(&conv); @@ -44,6 +51,7 @@ namespace OpenAxiom { setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded); setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn); adjustSize(); + start_interpreter(exchanges()); } Debate::~Debate() { } |