- minor changes in the Properties Tool

This commit is contained in:
Marius Stanciu
2020-10-23 19:03:13 +03:00
committed by Marius
parent 427118c495
commit 1b3919aca7
3 changed files with 7 additions and 9 deletions

View File

@@ -90,7 +90,7 @@ class AppTool(QtWidgets.QWidget):
# Remove anything else in the appGUI
self.app.ui.tool_scroll_area.takeWidget()
# Put ourself in the appGUI
# Put ourselves in the appGUI
self.app.ui.tool_scroll_area.setWidget(self)
# Switch notebook to tool page