From d918d0a1f78696fec489c0ad7d581f9707b13df2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 23 Jun 2013 04:29:12 +0000
Subject: Rename the gui interface to open-axiom.

---
 src/gui/main-window.cc | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'src/gui/main-window.cc')

diff --git a/src/gui/main-window.cc b/src/gui/main-window.cc
index 442841b7..caa6771c 100644
--- a/src/gui/main-window.cc
+++ b/src/gui/main-window.cc
@@ -48,12 +48,14 @@ namespace OpenAxiom {
 
    
    MainWindow::MainWindow(int argc, char* argv[])
-         : srv(argc, argv), debate(this) {
-      setCentralWidget(&debate);
+         : srv(argc, argv), tabs(this) {
+      setCentralWidget(&tabs);
       setWindowTitle("OpenAxiom");
-      auto s = debate.widget()->frameSize();
-      s.rwidth() += debate.verticalScrollBar()->width();
-      s.rheight() += debate.horizontalScrollBar()->width();
+      auto debate = new Debate(this);
+      tabs.addTab(debate, "Interpreter");
+      auto s = debate->widget()->frameSize();
+      s.rwidth() += debate->verticalScrollBar()->width();
+      s.rheight() += debate->horizontalScrollBar()->width();
       resize(s);
       QMenu* file = menuBar()->addMenu(tr("&File"));
       QAction* action = new QAction(tr("Quit"), this);
@@ -61,7 +63,7 @@ namespace OpenAxiom {
       action->setShortcut(tr("Ctrl+Q"));
       connect(action, SIGNAL(triggered()), this, SLOT(close()));
 
-      connect_server_io(this, &debate);
+      connect_server_io(this, debate);
       server()->launch();
       // When invoked in a --role=server mode, OpenAxiom would
       // wait to be pinged before displaying a prompt.  This is
-- 
cgit v1.2.3