--- a/src/eric7/QScintilla/Editor.py Tue Jun 11 16:37:33 2024 +0200 +++ b/src/eric7/QScintilla/Editor.py Tue Jun 11 16:42:56 2024 +0200 @@ -8553,7 +8553,7 @@ else True ) if ok: - self.refresh() + self.__refresh() def setMonospaced(self, on): """ @@ -9933,9 +9933,18 @@ """ editorConfig = {} - if fileName and FileSystemUtilities.isPlainFileName(fileName): + if fileName: try: - editorConfig = editorconfig.get_properties(fileName) + if FileSystemUtilities.isRemoteFileName(fileName): + if ericApp().getObject("EricServer").isServerConnected(): + editorConfigInterface = ( + ericApp() + .getObject("EricServer") + .getServiceInterface("EditorConfig") + ) + editorConfig = editorConfigInterface.loadEditorConfig(fileName) + elif FileSystemUtilities.isPlainFileName(fileName): + editorConfig = editorconfig.get_properties(fileName) except editorconfig.EditorConfigError: EricMessageBox.warning( self,