Updated ide.reload (markdown)

ni-richard 2019-09-14 00:46:49 +02:00
parent 87a6551b8e
commit ebe82f6834

@ -4,16 +4,10 @@
```json ```json
{ {
"key": "ide.reload", "key": "ide.reload",
"intent": "control",
"scope": "websocket" "scope": "websocket"
} }
``` ```
*** ***
**Example**: **Example**: Same as above, does not have additional parameters.
```json
{
"key": "ide.reload"
}
```