UserInterface: fixed a long undiscovered bug.

Sun, 15 Jul 2018 19:00:10 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 15 Jul 2018 19:00:10 +0200
changeset 6433
92680b6a3585
parent 6432
87b1626eb49b
child 6434
872d10fa686a

UserInterface: fixed a long undiscovered bug.

UI/UserInterface.py file | annotate | diff | comparison | revisions
diff -r 87b1626eb49b -r 92680b6a3585 UI/UserInterface.py
--- 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