src/eric7/UI/UserInterface.py

branch
eric7
changeset 10518
1682f3203ae5
parent 10511
eae654129780
child 10531
3308e8349e4c
child 10534
783d835d7fe4
child 10595
59579e8aff98
equal deleted inserted replaced
10517:aecd5a8c958c 10518:1682f3203ae5
583 self.irc.autoConnected.connect(self.__ircAutoConnected) 583 self.irc.autoConnected.connect(self.__ircAutoConnected)
584 584
585 if self.pipWidget is not None: 585 if self.pipWidget is not None:
586 self.preferencesChanged.connect(self.pipWidget.preferencesChanged) 586 self.preferencesChanged.connect(self.pipWidget.preferencesChanged)
587 587
588 if self.microPythonWidget is not None:
589 self.microPythonWidget.aboutToDisconnect.connect(
590 self.viewmanager.closeDeviceEditors
591 )
592
588 # create the toolbar manager object 593 # create the toolbar manager object
589 self.toolbarManager = EricToolBarManager(self, self) 594 self.toolbarManager = EricToolBarManager(self, self)
590 self.toolbarManager.setMainWindow(self) 595 self.toolbarManager.setMainWindow(self)
591 self.preferencesChanged.connect(self.toolbarManager.preferencesChanged) 596 self.preferencesChanged.connect(self.toolbarManager.preferencesChanged)
592 597
1814 if project is not None: 1819 if project is not None:
1815 self.capProject = project 1820 self.capProject = project
1816 1821
1817 if self.passiveMode: 1822 if self.passiveMode:
1818 if not self.capProject and not self.capEditor: 1823 if not self.capProject and not self.capEditor:
1819 self.setWindowTitle(self.tr("{0} - Passive Mode").format(Program)) 1824 self.setWindowTitle(self.tr("{0} - Passive Mode").format("eric-ide"))
1820 elif self.capProject and not self.capEditor: 1825 elif self.capProject and not self.capEditor:
1821 self.setWindowTitle( 1826 self.setWindowTitle(
1822 self.tr("{0} - {1} - Passive Mode").format(self.capProject, Program) 1827 self.tr("{0} - {1} - Passive Mode").format(
1828 self.capProject, "eric-ide"
1829 )
1823 ) 1830 )
1824 elif not self.capProject and self.capEditor: 1831 elif not self.capProject and self.capEditor:
1825 self.setWindowTitle( 1832 self.setWindowTitle(
1826 self.tr("{0} - {1} - Passive Mode").format(self.capEditor, Program) 1833 self.tr("{0} - {1} - Passive Mode").format(
1834 self.capEditor, "eric-ide"
1835 )
1827 ) 1836 )
1828 else: 1837 else:
1829 self.setWindowTitle( 1838 self.setWindowTitle(
1830 self.tr("{0} - {1} - {2} - Passive Mode").format( 1839 self.tr("{0} - {1} - {2} - Passive Mode").format(
1831 self.capProject, self.capEditor, Program 1840 self.capProject, self.capEditor, "eric-ide"
1832 ) 1841 )
1833 ) 1842 )
1834 else: 1843 else:
1835 if not self.capProject and not self.capEditor: 1844 if not self.capProject and not self.capEditor:
1836 self.setWindowTitle(Program) 1845 self.setWindowTitle("eric-ide")
1837 elif self.capProject and not self.capEditor: 1846 elif self.capProject and not self.capEditor:
1838 self.setWindowTitle("{0} - {1}".format(self.capProject, Program)) 1847 self.setWindowTitle("{0} - {1}".format(self.capProject, "eric-ide"))
1839 elif not self.capProject and self.capEditor: 1848 elif not self.capProject and self.capEditor:
1840 self.setWindowTitle("{0} - {1}".format(self.capEditor, Program)) 1849 self.setWindowTitle("{0} - {1}".format(self.capEditor, "eric-ide"))
1841 else: 1850 else:
1842 self.setWindowTitle( 1851 self.setWindowTitle(
1843 "{0} - {1} - {2}".format(self.capProject, self.capEditor, Program) 1852 "{0} - {1} - {2}".format(
1853 self.capProject, self.capEditor, "eric-ide"
1854 )
1844 ) 1855 )
1845 1856
1846 def __initActions(self): 1857 def __initActions(self):
1847 """ 1858 """
1848 Private method to define the user interface actions. 1859 Private method to define the user interface actions.

eric ide

mercurial