poor: pen experiments

poor_mans_visualisation.py

@@ -262,7 +262,12 @@ class MainWindow(QtWidgets.QMainWindow):
 		if self.highlighter is not None and self.highlighter in self.annot_topo.annotations:
 			ann = self.annot_topo.annotations[self.highlighter]
 			for shk in ann.for_vertex.keys() | ann.for_edge.keys():
-				shapes[shk].setPen(QtGui.QPen(QtGui.QColor('blue')))
+				pen = QtGui.QPen(QtGui.QColor('blue'))
+				pen.setWidth(pen.width() * 3)
+				c = pen.color()
+				c.setAlpha(128)
+				pen.setColor(c)
+				shapes[shk].setPen(pen)
 			# FIXME: also color edges in opposite direction
 		for sh in shapes.values(): self.scene.addItem(sh)