|
@@ -3644,7 +3644,6 @@ class MainGUI(QtWidgets.QMainWindow):
|
|
|
self.shell_dock.hide()
|
|
self.shell_dock.hide()
|
|
|
self.app.plotcanvas.native.setFocus()
|
|
self.app.plotcanvas.native.setFocus()
|
|
|
self.shell_status_label.setStyleSheet("")
|
|
self.shell_status_label.setStyleSheet("")
|
|
|
- self.app.inform.emit(_("Shell disabled."))
|
|
|
|
|
else:
|
|
else:
|
|
|
self.shell_dock.show()
|
|
self.shell_dock.show()
|
|
|
self.shell_status_label.setStyleSheet("""
|
|
self.shell_status_label.setStyleSheet("""
|
|
@@ -3654,7 +3653,6 @@ class MainGUI(QtWidgets.QMainWindow):
|
|
|
background-color: lightcoral;
|
|
background-color: lightcoral;
|
|
|
}
|
|
}
|
|
|
""")
|
|
""")
|
|
|
- self.app.inform.emit(_("Shell enabled."))
|
|
|
|
|
|
|
|
|
|
# I want to take the focus and give it to the Tcl Shell when the Tcl Shell is run
|
|
# I want to take the focus and give it to the Tcl Shell when the Tcl Shell is run
|
|
|
# self.shell._edit.setFocus()
|
|
# self.shell._edit.setFocus()
|