src/eric7/QScintilla/Editor.py

branch
server
changeset 10774
7f7ff7456904
parent 10763
4b6220e694da
child 10806
2f6df822e3b9
--- 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,

eric ide

mercurial