--- a/src/eric7/UI/UserInterface.py Tue Mar 26 10:55:04 2024 +0100 +++ b/src/eric7/UI/UserInterface.py Wed Apr 10 17:03:56 2024 +0200 @@ -57,6 +57,7 @@ from eric7.CondaInterface.Conda import Conda from eric7.Debugger.DebugServer import DebugServer from eric7.Debugger.DebugUI import DebugUI +from eric7.EricCore import EricFileSystemWatcher from eric7.EricGui import EricPixmapCache from eric7.EricGui.EricAction import EricAction, createActionGroup from eric7.EricNetwork.EricNetworkIcon import EricNetworkIcon @@ -431,6 +432,9 @@ self.projectBrowser.sourceFile[str, int, str].connect( self.viewmanager.openSourceFile ) + self.projectBrowser.sourceFile[str, int, int].connect( + self.viewmanager.openSourceFileLinePos + ) self.projectBrowser.closeSourceWindow.connect(self.viewmanager.closeWindow) self.projectBrowser.testFile.connect(self.__startTestScript) self.projectBrowser.designerFile.connect(self.__designer) @@ -519,6 +523,9 @@ self.browser.sourceFile[str, int, str].connect( self.viewmanager.openSourceFile ) + self.browser.sourceFile[str, int, int].connect( + self.viewmanager.openSourceFileLinePos + ) self.browser.designerFile.connect(self.__designer) self.browser.linguistFile.connect(self.__linguist) self.browser.projectFile.connect(self.project.openProject) @@ -8298,6 +8305,10 @@ Preferences.saveToolGroups(self.toolGroups, self.currentToolGroup) Preferences.syncPreferences() self.shutdownCalled = True + + # shut down the global file system watcher + EricFileSystemWatcher.instance().shutdown() + return True def isOnline(self):