Add more text to help

2024-10-03 00:24:20 +02:00 · 2024-10-03 00:24:20 +02:00 · 989cc89e4b
commit 989cc89e4b
parent be63775334
1 changed files with 2 additions and 0 deletions
--- a/src/Editor/Editor.php
+++ b/src/Editor/Editor.php
@ -386,6 +386,8 @@ class Editor

        ### Editing values

+        To edit a value, press "e". The value is verbatim JSON, so strings should be quoted and all that. Anything that is unparsable JSON will be used as is, resulting in a string.
+
        ### Loading and Saving files

        # Disclaimer