From 16fa398db4769ef814729fa09fbbf213230cfd38 Mon Sep 17 00:00:00 2001 From: ni-richard Date: Sat, 14 Sep 2019 10:34:45 +0200 Subject: [PATCH] Updated ide.read (markdown) --- ide.read.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ide.read.md b/ide.read.md index 1ceb1d6..f63acc2 100644 --- a/ide.read.md +++ b/ide.read.md @@ -21,6 +21,8 @@ ```json { "key": "ide.read", + "intent": "control", + "scope": "zmq", "filename": "main.c" } ``` @@ -48,6 +50,7 @@ ```json { "key": "ide.read", + "scope": "webservice", "filename": "main.c", "files": ["/home/main.c", "/home/not_main.c"], "content": "#include ..."