Created ide.reload (markdown)

ni-richard 2019-09-11 10:00:07 +02:00
parent 24946e56bf
commit aed9cb331c

19
ide.reload.md Normal file

@ -0,0 +1,19 @@
* **Description**: Notifies the frontend that a watched file is being modified on the file system, so it should update its state.
* **Subscribers**: *none*
```json
{
"key": "ide.reload",
"intent": "control",
"scope": "websocket"
}
```
***
**Example**:
```json
{
"key": "ide.reload"
}
```