ui: Change mouse cursor to pointer on graph and code view contents (issue #715)

This commit is contained in:
Eberhard Graether
2019-08-05 22:40:21 +02:00
parent cc289e8b1e
commit 6a3561cb87
6 changed files with 15 additions and 0 deletions
@@ -563,6 +563,8 @@ void QtCodeField::setHoveredAnnotations(const std::vector<const Annotation*>& an
m_hoveredAnnotations = annotations;
viewport()->setCursor(annotations.size() ? Qt::PointingHandCursor : Qt::ArrowCursor);
if (annotations.size())
{
std::vector<Id> tokenIds;