I would like to be able to retrieve the vertex_index of a currently selected vertex (the vertex currently having the mouse over it). I have not found this question asked in StackOverflow, nor this information mentioned in the official graph-tool documentation.
For example, I would like to retrieve the value "56" from this graph :