From 308954635e370660e5b1af389aa3aa2fe20e7dfb Mon Sep 17 00:00:00 2001 From: Eberhard Graether Date: Wed, 21 Nov 2018 16:01:17 +0100 Subject: [PATCH] ui: Fixed unhovering source location does not remove graph highlight --- src/lib_gui/qt/element/QtCodeField.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/lib_gui/qt/element/QtCodeField.cpp b/src/lib_gui/qt/element/QtCodeField.cpp index 8d7ab86a..ceae0f21 100644 --- a/src/lib_gui/qt/element/QtCodeField.cpp +++ b/src/lib_gui/qt/element/QtCodeField.cpp @@ -536,7 +536,13 @@ void QtCodeField::setHoveredAnnotations(const std::vector& an { if (m_hoveredAnnotations.size()) { - defocusTokenIds({}); + std::vector tokenIds; + for (const Annotation* annotation : m_hoveredAnnotations) + { + tokenIds.insert(tokenIds.end(), annotation->tokenIds.begin(), annotation->tokenIds.end()); + } + + defocusTokenIds(tokenIds); } m_hoveredAnnotations = annotations;