Sun, 15 Jul 2018 19:00:10 +0200
UserInterface: fixed a long undiscovered bug.
UI/UserInterface.py | file | annotate | diff | comparison | revisions |
--- a/UI/UserInterface.py Thu Jul 12 19:27:04 2018 +0200 +++ b/UI/UserInterface.py Sun Jul 15 19:00:10 2018 +0200 @@ -4361,7 +4361,7 @@ if self.numbersViewer is not None: if self.layoutType == "Toolboxes": self.hToolboxDock.show() - self.hToolboxDock.setCurrentWidget(self.numbersViewer) + self.hToolbox.setCurrentWidget(self.numbersViewer) elif self.layoutType == "Sidebars": self.bottomSidebar.show() self.bottomSidebar.setCurrentWidget(self.numbersViewer)