ui: Pan graph view to name of active symbol after activation

bug id = 80
2016-07-22 13:57:58 +02:00
parent b2cb95de1b
commit f4677a902d
7 changed files with 103 additions and 29 deletions
@@ -9,9 +9,16 @@ struct DummyEdge;
 struct DummyNode;
 class Graph;

-class GraphView : public View
+class GraphView
+	: public View
 {
 public:
+	struct GraphParams
+	{
+		bool animatedTransition;
+		bool centerActiveNode;
+	};
+
 	GraphView(ViewLayout* viewLayout);
 	virtual ~GraphView();

@@ -21,7 +28,7 @@ public:
 		std::shared_ptr<Graph> graph,
 		const std::vector<std::shared_ptr<DummyNode>>& nodes,
 		const std::vector<std::shared_ptr<DummyEdge>>& edges,
-		bool animated) = 0;
+		const GraphParams params) = 0;
 	virtual void clear() = 0;

 	virtual void focusTokenIds(const std::vector<Id>& focusedTokenIds) = 0;