Give main GUI elements more identifiable names

2022-06-11 15:49:45 +02:00
parent 0181bebd70
commit 94068e777a
18 changed files with 151 additions and 151 deletions
@@ -901,7 +901,7 @@ class GuiDocViewHeader(QWidget):
        """Capture a click on the title and ensure that the item is
        selected in the project tree.
        """
-        self.mainGui.treeView.setSelectedHandle(self._docHandle, doScroll=True)
+        self.mainGui.projView.setSelectedHandle(self._docHandle, doScroll=True)
        return

 # END Class GuiDocViewHeader