summaryrefslogtreecommitdiff
path: root/doc/source
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source')
-rw-r--r--doc/source/commands.rst6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/source/commands.rst b/doc/source/commands.rst
index 449d4095..fe106dea 100644
--- a/doc/source/commands.rst
+++ b/doc/source/commands.rst
@@ -146,6 +146,12 @@ These commands work in *any* tab.
just set the option to true if it’s currently false, and to false if it’s
currently true.
+ /set_default
+ **Usage:** ``/set_default [section] <option>``
+
+ Set the value of an option back to the default. For example,
+ ``/set_default resource`` will reset the ``resource`` option.
+
/toggle
**Usage:** ``/toggle <option>``