private void handleVertexSymbolChange() {
        HashSet<Symbol> unusedSymbols = new HashSet<>(graph.getSymbols());
        for (Vertex v: graph.getVertices()) {
            Symbol symbol = v.getSymbol();
            unusedSymbols.remove(symbol);