|
|
@ -268,6 +268,7 @@ class MainWindow(QtWidgets.QMainWindow):
|
|
|
|
ann = self.annot_topo.annotations[self.highlighter]
|
|
|
|
ann = self.annot_topo.annotations[self.highlighter]
|
|
|
|
for shk in ann.for_vertex.keys() | ann.for_edge.keys():
|
|
|
|
for shk in ann.for_vertex.keys() | ann.for_edge.keys():
|
|
|
|
shapes[shk].setPen(QtGui.QPen(QtGui.QColor('blue')))
|
|
|
|
shapes[shk].setPen(QtGui.QPen(QtGui.QColor('blue')))
|
|
|
|
|
|
|
|
# FIXME: also color edges in opposite direction
|
|
|
|
for sh in shapes.values(): self.scene.addItem(sh)
|
|
|
|
for sh in shapes.values(): self.scene.addItem(sh)
|
|
|
|
|
|
|
|
|
|
|
|
main_window = MainWindow()
|
|
|
|
main_window = MainWindow()
|
|
|
|