From 5feb89775af64b779a29538ea2ac24b59fbf07d8 Mon Sep 17 00:00:00 2001 From: therealkrispet Date: Mon, 18 Nov 2019 10:59:50 +0100 Subject: [PATCH] Updated ide.write (markdown) --- ide.write.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/ide.write.md b/ide.write.md index 83bc2e8..01379fa 100644 --- a/ide.write.md +++ b/ide.write.md @@ -4,9 +4,7 @@ ```json { - "key": "ide.write", - "intent": "control", - "scope": "zmq" + "key": "ide.write" } ``` @@ -21,8 +19,6 @@ ```json { "key": "ide.write", - "intent": "control", - "scope": "zmq", "filename": "main.c", "content": "#include ..." } @@ -35,7 +31,6 @@ ```json { "key": "ide.write", - "scope": "websocket" } ``` @@ -50,7 +45,6 @@ ```json { "key": "ide.write", - "scope": "websocket", "filename": "main.c", "files": ["/home/main.c", "/home/not_main.c"] }