UI/UserInterface.py

changeset 6433
92680b6a3585
parent 6430
9fe4016a653b
child 6434
872d10fa686a
--- 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)

eric ide

mercurial