Make TaskMarks clickable and jump to the right task in the taskwindow

That means it is no longer possible to make bookmarks on lines with
errors or warnings by simply clicking. That's not nice.
It might be better to do something different, but let's see how the
feedback to this is.

Change-Id: I34788ff638ed49c21001d03cd60f992ffabd6153
Reviewed-by: hjk <qthjk@ovi.com>
Reviewed-by: Eike Ziller <eike.ziller@nokia.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/src/plugins/projectexplorer/taskmodel.h b/src/plugins/projectexplorer/taskmodel.h
index 1dfb6733c9..017e489b6e 100644
--- a/src/plugins/projectexplorer/taskmodel.h
+++ b/src/plugins/projectexplorer/taskmodel.h
@@ -78,6 +78,7 @@ public:
 
     bool hasFile(const QModelIndex &index) const;
 
+    int rowForId(unsigned int id);
 private:
 
     class CategoryData
@@ -161,6 +162,7 @@ public:
     bool hasFile(const QModelIndex &index) const
     { return m_sourceModel->hasFile(mapToSource(index)); }
 
+    QModelIndex mapFromSource(const QModelIndex &idx) const;
 private slots:
     void handleNewRows(const QModelIndex &index, int first, int last);
     void handleRemovedRows(const QModelIndex &index, int first, int last);