From 02a0b0357316da1da369d559bf0a781362a7a66a Mon Sep 17 00:00:00 2001 From: ni-richard Date: Sat, 14 Sep 2019 10:49:13 +0200 Subject: [PATCH] Updated ide.write (markdown) --- ide.write.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ide.write.md b/ide.write.md index e92cb3f..83bc2e8 100644 --- a/ide.write.md +++ b/ide.write.md @@ -21,6 +21,8 @@ ```json { "key": "ide.write", + "intent": "control", + "scope": "zmq", "filename": "main.c", "content": "#include ..." } @@ -28,7 +30,7 @@ ### Response * **Description**: Informs the frontend that the file was changed. -* **Subscribers**: *none* +* **Subscribers**: *IdeComponent* ```json { @@ -48,6 +50,7 @@ ```json { "key": "ide.write", + "scope": "websocket", "filename": "main.c", "files": ["/home/main.c", "/home/not_main.c"] }