From dd59a5c4b8b0eadf223a7e4b3fa0cc8bd99375f9 Mon Sep 17 00:00:00 2001
From: Aleks Kissinger <aleks0@gmail.com>
Date: Wed, 10 Oct 2018 08:10:35 +0200
Subject: wrong edge

---
 src/gui/mainwindow.cpp  | 2 +-
 src/gui/toolpalette.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/gui/mainwindow.cpp b/src/gui/mainwindow.cpp
index cdf7bea..b0ffdc6 100644
--- a/src/gui/mainwindow.cpp
+++ b/src/gui/mainwindow.cpp
@@ -102,7 +102,7 @@ QSplitter *MainWindow::splitter() const {
 
 void MainWindow::closeEvent(QCloseEvent *event)
 {
-    qDebug() << "got close event";
+    //qDebug() << "got close event";
 
     QSettings settings("tikzit", "tikzit");
     settings.setValue("geometry-main", saveGeometry());
diff --git a/src/gui/toolpalette.cpp b/src/gui/toolpalette.cpp
index 2452bda..3d65369 100644
--- a/src/gui/toolpalette.cpp
+++ b/src/gui/toolpalette.cpp
@@ -32,6 +32,7 @@ ToolPalette::ToolPalette(QWidget *parent) :
     setOrientation(Qt::Vertical);
     setFocusPolicy(Qt::NoFocus);
     setWindowTitle("Tools");
+    setObjectName("toolPalette");
     //setGeometry(100,200,30,195);
 
     tools  = new QActionGroup(this);
-- 
cgit v1.2.3