[graph-tool] Hide filtered vertices in interactive display

[anton-tot]

Hi,

I want to interactively display a filtered graph whose filter is updated based 
on mouse events (eg when the user presses a vertex, it then display/remove its 
neighbors)
The problem i have is that when hovering over the window with the mouse, I am 
still able to select or highlight a filter vertex.
Is there an easy way to fully hide the filtered vertices?

Thanks.
_______________________________________________
graph-tool mailing list -- graph-tool@skewed.de
To unsubscribe send an email to graph-tool-le...@skewed.de