src/eric7/RemoteServer/EricRequestCategory.py

branch
server
changeset 10774
7f7ff7456904
parent 10767
b3672d3e7644
child 11090
f5f5f5803935
--- a/src/eric7/RemoteServer/EricRequestCategory.py	Tue Jun 11 16:37:33 2024 +0200
+++ b/src/eric7/RemoteServer/EricRequestCategory.py	Tue Jun 11 16:42:56 2024 +0200
@@ -19,6 +19,7 @@
     Project = 1
     Debugger = 2
     Coverage = 3
+    EditorConfig = 4
 
     Echo = 252
     Server = 253

eric ide

mercurial