ui: Added second line marker color to better highlight hovered and local symbols

This commit is contained in:
Eberhard Graether
2017-09-06 16:16:39 +02:00
parent d86adce7ea
commit a9ca7f1223
6 changed files with 75 additions and 32 deletions
+1 -4
View File
@@ -286,10 +286,7 @@ bool QtCodeField::annotateText(
activeLocationIds.find(annotation.locationId) != activeLocationIds.end()
);
if (!annotation.isActive)
{
annotation.isFocused = utility::shareElement(focusedSymbolIds, annotation.tokenIds);
}
annotation.isFocused = utility::shareElement(focusedSymbolIds, annotation.tokenIds);
if (wasFocused != annotation.isFocused || wasActive != annotation.isActive)
{