Details
-
Sub-task
-
Resolution: Done
-
Major
-
7.3.0
Description
Currently we only show the label of that node in red color to highlight that this node is current node in the debugger. We should improve that not only relying on colors but also provide other visual effects like a thicker border or alike.