ui: Prevent activation of already activated Tokens

2015-05-21 03:32:02 +02:00
parent 5868fe4d39
commit 1e8d8cece0
7 changed files with 24 additions and 28 deletions
@@ -45,8 +45,6 @@ private:

 	GraphView* getView() const;

-	void setActiveTokenIds(const std::vector<Id>& activeTokenIds);
-
 	void createDummyGraphForTokenIds(const std::vector<Id>& tokenIds);
 	DummyNode createDummyNodeTopDown(Node* node);

@@ -71,7 +69,6 @@ private:
 	std::vector<DummyEdge> m_dummyEdges;

 	std::vector<Id> m_activeTokenIds;
-	std::vector<Id> m_currentActiveTokenIds;
 };

 #endif // GRAPH_CONTROLLER_H