#3 Graphview refresh problems

[Pawel Kowalski]

A node can be selected in Graphview. It's also possible
to deselect it. When a node is deselected, the selection
indees disappears, but when the scrollbar of the
Graphview is moved after deselection, the node and it's
edges are highlighted again (selected). It then suffices
to move the scrollbar to have the highlightning disappear
gradually.