- fixed a small issue with using the shortcut key for toggling the display of Properties tab

This commit is contained in:
Marius Stanciu
2020-10-26 20:59:54 +02:00
committed by Marius
parent 9a6cef05ae
commit edb1407b13
5 changed files with 6 additions and 4 deletions

View File

@@ -2722,7 +2722,7 @@ class MainGUI(QtWidgets.QMainWindow):
# Switch to Selected Tab
if key == QtCore.Qt.Key_2:
self.app.on_select_tab('selected')
self.app.on_select_tab('properties')
# Switch to Tool Tab
if key == QtCore.Qt.Key_3: