From 2bb13fc7f1d2305829c8d7be1ab9192de5e5540b Mon Sep 17 00:00:00 2001
From: mitchell <70453897+orbitalquark@users.noreply.github.com>
Date: Wed, 2 Mar 2022 23:05:22 -0500
Subject: Document GTK 3 theme options in the manual.

---
 docs/manual.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/docs/manual.md b/docs/manual.md
index a99ab948..f6ae1964 100644
--- a/docs/manual.md
+++ b/docs/manual.md
@@ -1332,10 +1332,13 @@ your changes.
 [`view.set_theme()`]: api.html#view.set_theme
 [`reset()`]: api.html#reset
 
-The widgets in the GUI version of Textadept cannot be themed using Lua theme files. Instead,
-you must use [GTK CSS][], which is part of the GUI toolkit Textadept uses. The exception to
-this is find & replace entry font, which can be changed.
+The widgets in the GUI version of Textadept cannot be themed using Lua theme files. Instead, you
+must use [GTK Themes][] or [GTK CSS][], which are part of the GUI toolkit Textadept uses. The
+exception to this is find & replace entry font, which can be changed. For Windows and macOS,
+place themes in Textadept's *share/themes/* directory and edit *etc/gtk-3.0/settings.ini*
+to set the `gtk-theme-name` to the directory name of your theme.
 
+[GTK Themes]: https://www.gnome-look.org/browse?cat=135&ord=latest
 [GTK CSS]: https://docs.gtk.org/gtk3/css-overview.html
 
 ---
-- 
cgit v1.2.3