ui: bidirectional hovering

hovering for graphview and codeview via messaging, hovering in one view will "hover" the equivalent in the other view
2015-05-12 13:55:23 +02:00
parent 97345cc72f
commit a41c0e1b85
25 changed files with 302 additions and 10 deletions
@@ -24,6 +24,8 @@ public:
 	virtual void rebuildGraph(
 		std::shared_ptr<Graph> graph, const std::vector<DummyNode>& nodes, const std::vector<DummyEdge>& edges) = 0;
 	virtual void clear() = 0;
+	virtual void focusToken(Id tokenId) = 0;
+	virtual void defocusToken(Id tokenId) = 0;

 	virtual void resizeView() = 0;