- reverted changes in Tools regarding the toggle effect - now they work as expected

This commit is contained in:
Marius Stanciu
2019-03-11 22:58:27 +02:00
parent 255254a292
commit 090a3ff8f8
13 changed files with 95 additions and 26 deletions

View File

@@ -378,7 +378,15 @@ class ToolTransform(FlatCAMTool):
def run(self, toggle=True):
self.app.report_usage("ToolTransform()")
FlatCAMTool.run(self, toggle=toggle)
if toggle:
# if the splitter is hidden, display it, else hide it but only if the current widget is the same
if self.app.ui.splitter.sizes()[0] == 0:
self.app.ui.splitter.setSizes([1, 1])
else:
if self.app.ui.tool_scroll_area.widget().objectName() == self.toolName:
self.app.ui.splitter.setSizes([0, 1])
FlatCAMTool.run(self)
self.set_tool_ui()
self.app.ui.notebook.setTabText(2, _("Transform Tool"))