void link(const std::vector<int> &path, const std::vector<bool>& isRC, int length);
// return set of pathids defined by order of link calls
const std::set<int> selectedPaths() const;
-
+ void centerOnPath(const std::vector<int>& paths);
+
public slots:
//! set the zoom level of our browser
void setZoom(int);