diff -r aecd5a8c958c -r 1682f3203ae5 src/eric7/UI/UserInterface.py
--- a/src/eric7/UI/UserInterface.py Sun Jan 21 13:00:42 2024 +0100
+++ b/src/eric7/UI/UserInterface.py Sun Jan 21 15:38:51 2024 +0100
@@ -585,6 +585,11 @@
if self.pipWidget is not None:
self.preferencesChanged.connect(self.pipWidget.preferencesChanged)
+ if self.microPythonWidget is not None:
+ self.microPythonWidget.aboutToDisconnect.connect(
+ self.viewmanager.closeDeviceEditors
+ )
+
# create the toolbar manager object
self.toolbarManager = EricToolBarManager(self, self)
self.toolbarManager.setMainWindow(self)
@@ -1816,31 +1821,37 @@
if self.passiveMode:
if not self.capProject and not self.capEditor:
- self.setWindowTitle(self.tr("{0} - Passive Mode").format(Program))
+ self.setWindowTitle(self.tr("{0} - Passive Mode").format("eric-ide"))
elif self.capProject and not self.capEditor:
self.setWindowTitle(
- self.tr("{0} - {1} - Passive Mode").format(self.capProject, Program)
+ self.tr("{0} - {1} - Passive Mode").format(
+ self.capProject, "eric-ide"
+ )
)
elif not self.capProject and self.capEditor:
self.setWindowTitle(
- self.tr("{0} - {1} - Passive Mode").format(self.capEditor, Program)
+ self.tr("{0} - {1} - Passive Mode").format(
+ self.capEditor, "eric-ide"
+ )
)
else:
self.setWindowTitle(
self.tr("{0} - {1} - {2} - Passive Mode").format(
- self.capProject, self.capEditor, Program
+ self.capProject, self.capEditor, "eric-ide"
)
)
else:
if not self.capProject and not self.capEditor:
- self.setWindowTitle(Program)
+ self.setWindowTitle("eric-ide")
elif self.capProject and not self.capEditor:
- self.setWindowTitle("{0} - {1}".format(self.capProject, Program))
+ self.setWindowTitle("{0} - {1}".format(self.capProject, "eric-ide"))
elif not self.capProject and self.capEditor:
- self.setWindowTitle("{0} - {1}".format(self.capEditor, Program))
+ self.setWindowTitle("{0} - {1}".format(self.capEditor, "eric-ide"))
else:
self.setWindowTitle(
- "{0} - {1} - {2}".format(self.capProject, self.capEditor, Program)
+ "{0} - {1} - {2}".format(
+ self.capProject, self.capEditor, "eric-ide"
+ )
)
def __initActions(self):
