ui: added shortcut to refresh view

Added a refresh shortcut to the new View menu, that causes stylesheets to be refreshed by dispatching a MessageRefresh.
2014-07-21 17:49:41 +02:00
parent 0074db86e8
commit 5d201b9880
15 changed files with 117 additions and 4 deletions
@@ -21,6 +21,7 @@ public:
 	// View implementation
 	virtual void createWidgetWrapper();
 	virtual void initView();
+	virtual void refreshView();

 	virtual void rebuildGraph(const std::vector<DummyNode>& nodes, const std::vector<DummyEdge>& edges);