diff --git a/ide.reload.md b/ide.reload.md new file mode 100644 index 0000000..1926f31 --- /dev/null +++ b/ide.reload.md @@ -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" +} +``` \ No newline at end of file