Updated ide.write (markdown)

ni-richard 2019-09-14 10:49:13 +02:00
parent 9f0f4e7f12
commit 02a0b03573

@ -21,6 +21,8 @@
```json ```json
{ {
"key": "ide.write", "key": "ide.write",
"intent": "control",
"scope": "zmq",
"filename": "main.c", "filename": "main.c",
"content": "#include <stdio.h>..." "content": "#include <stdio.h>..."
} }
@ -28,7 +30,7 @@
### Response ### Response
* **Description**: Informs the frontend that the file was changed. * **Description**: Informs the frontend that the file was changed.
* **Subscribers**: *none* * **Subscribers**: *IdeComponent*
```json ```json
{ {
@ -48,6 +50,7 @@
```json ```json
{ {
"key": "ide.write", "key": "ide.write",
"scope": "websocket",
"filename": "main.c", "filename": "main.c",
"files": ["/home/main.c", "/home/not_main.c"] "files": ["/home/main.c", "/home/not_main.c"]
} }