Updated ide.write (markdown)

therealkrispet 2019-11-18 10:59:50 +01:00
parent 0be24a829b
commit 5feb89775a

@ -4,9 +4,7 @@
```json ```json
{ {
"key": "ide.write", "key": "ide.write"
"intent": "control",
"scope": "zmq"
} }
``` ```
@ -21,8 +19,6 @@
```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>..."
} }
@ -35,7 +31,6 @@
```json ```json
{ {
"key": "ide.write", "key": "ide.write",
"scope": "websocket"
} }
``` ```
@ -50,7 +45,6 @@
```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"]
} }