graph_tool.draw.interactive_window

Hello Tiago,

> you cannot replace the underlying graph from under the hood like this.
> What you can do, however, is to work with the same filtered graph the
> whole time, and then change the values of the filter property map
> dynamically.

Thanks for the hint, this is exactly what I need!

In case anyone else is interested in this great feature, I've written a
small minimal working example, see below.

Best regards
Rolf