diff options
| author |  mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-02 23:05:22 -0500 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-02 23:05:22 -0500 |
| commit | 2bb13fc7f1d2305829c8d7be1ab9192de5e5540b (patch) | |
| tree | 20c2dbc133f52540d1c9bc2ffe366645441a1be3 | |
| parent | 94480d76c2ba413299ed0db840df620a385b323f (diff) | |
Document GTK 3 theme options in the manual.
| -rw-r--r-- | docs/manual.md | 9 |
1 files 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 --- |