[graph-tool] Hide filtered vertices in interactive display