From aed9cb331ce69a5bf4154c3e8114cb1040bba52e Mon Sep 17 00:00:00 2001
From: ni-richard <ni-richard@protonmail.ch>
Date: Wed, 11 Sep 2019 10:00:07 +0200
Subject: [PATCH] Created ide.reload (markdown)

---
 ide.reload.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 ide.reload.md

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