diff -r 280a53840aa3 -r 306373ccf8fd src/eric7/UI/UserInterface.py
--- 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):
