Hi together!

I just noticed that vertices that had been saved within an external list are not being updated when filtering the graph:

>>> G.set_edge_filter( G.edge_properties[ 'e_isbus'], inverted=True)
>>> G.set_vertex_filter(G.vertex_properties['v_isbus'], inverted=True)

>>> print( [ int(n) for n in node.all_neighbors() ] )
[101, 22, 265, 496, 518, 22, 265, 496, 101, 518]

>>> print( [ int(n) for n in G.vertex( int(node) ).all_neighbors() ] )
[101, 22, 265, 22, 265, 101]

Did I miss something or is this a bug?

Thanks a lot for any ideas!

Stephan