From 15d97051f0b5105a2765fc068ae980e36195434c Mon Sep 17 00:00:00 2001
From: Aleks Kissinger <aleks0@gmail.com>
Date: Fri, 18 Jan 2019 15:30:10 +0100
Subject: fixed CTRL key bug and added option to auto-select new edges

---
 src/gui/tikzscene.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/gui/tikzscene.h')

diff --git a/src/gui/tikzscene.h b/src/gui/tikzscene.h
index e2068eb..0d3aadf 100644
--- a/src/gui/tikzscene.h
+++ b/src/gui/tikzscene.h
@@ -80,8 +80,9 @@ public:
     void reverseSelectedEdges();
 
 
-	void getSelection(QSet<Node*> &selNodes, QSet<Edge*> &selEdges);
-	QSet<Node*> getSelectedNodes();
+    void getSelection(QSet<Node*> &selNodes, QSet<Edge*> &selEdges) const;
+    QSet<Node*> getSelectedNodes() const;
+
     void refreshSceneBounds();
 
     bool highlightHeads() const;
-- 
cgit v1.2.3