src/eric7/RemoteServer/EricRequestCategory.py

branch
server
changeset 10574
622e59b51640
parent 10561
be23a662d709
child 10767
b3672d3e7644
--- a/src/eric7/RemoteServer/EricRequestCategory.py	Wed Feb 14 10:24:23 2024 +0100
+++ b/src/eric7/RemoteServer/EricRequestCategory.py	Thu Feb 15 13:59:02 2024 +0100
@@ -18,6 +18,7 @@
     FileSystem = 0
     Project = 1
     Debugger = 2
+    Coverage = 3
 
     Echo = 253
     Server = 254

eric ide

mercurial