From f9d1ec6e8aafaab51bb62e269c2456ba40c1d9fd Mon Sep 17 00:00:00 2001
From: miruka <miruka@disroot.org>
Date: Mon, 4 Jan 2021 08:15:52 -0400
Subject: [PATCH] CONFIG/THEMING.md: add info about manual reload

---
 docs/CONFIG.md  | 7 +++++++
 docs/THEMING.md | 7 +++++++
 2 files changed, 14 insertions(+)

diff --git a/docs/CONFIG.md b/docs/CONFIG.md
index 25f4b04c..609240d9 100644
--- a/docs/CONFIG.md
+++ b/docs/CONFIG.md
@@ -69,6 +69,13 @@ When this file is saved while the application is running, the settings will
 automatically be reloaded, except for some options which require a restart.
 The default `settings.py` indicates which options require a restart.
 
+You can manually trigger a reload by updating the file's last change timestamp,
+e.g. with the `touch` command:
+
+```sh
+touch ~/.config/mirage/settings.py
+```
+
 [1]: https://github.com/mirukana/mirage/tree/master/src/config/settings.py
 
 
diff --git a/docs/THEMING.md b/docs/THEMING.md
index 7693bbd0..77584706 100644
--- a/docs/THEMING.md
+++ b/docs/THEMING.md
@@ -45,6 +45,13 @@ text editor.
 When an in-use theme file is saved while the application is running, it 
 will automatically be reloaded and changes will be seen immediatly.
 
+You can manually trigger a reload by updating the file's last change timestamp,
+e.g. with the `touch` command: 
+
+```sh
+touch ~/.config/mirage/settings.py
+```
+
 **Warnings**: 
 
 - API currently unstable: theme properties are often renamed, added or deleted.