emit update of changed graph titles (#259); close #257

Co-authored-by: Dominik Demuth <dominik.demuth@physik.tu-darmstadt.de>
Reviewed-on: #259

src/gui_qt/main/management.py

@@ -428,6 +428,7 @@ class UpperManagement(QtCore.QObject):
             self.graphs[d.graph].update_legend(identifier, name)
         elif identifier in self.graphs:
             self.graphs[identifier].title = name
+            self.graphs.valueChanged.emit()
         else:
             raise KeyError('Unknown ID ' + str(identifier))