diff options
| author |   mitchell <70453897+orbitalquark@users.noreply.github.com> | 2021-04-16 10:29:11 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2021-04-16 10:29:11 -0400 |
| commit | dea80d78f9b1779fd29ba07e86b47643b27ff437 (patch) | |
| tree | 34e31018d6d1d9e4315c352eb63635c339409a94 /docs/manual.md | |
| parent | faf8a95eea2a27ea1f776c9e61882bc27af9c735 (diff) | |
| download | textadept-dea80d78f9b1779fd29ba07e86b47643b27ff437.tar.gz textadept-dea80d78f9b1779fd29ba07e86b47643b27ff437.zip | |
Added ability to specify find & replace pane entry font via `ui.find.entry_font`.
Also use type checks when setting find & replace text and labels.
Diffstat (limited to 'docs/manual.md')
| -rw-r--r-- | docs/manual.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/manual.md b/docs/manual.md index 769045fa..6189a984 100644 --- a/docs/manual.md +++ b/docs/manual.md @@ -1298,6 +1298,7 @@ A theme consists of a single Lua file, and is typically responsible for: and documentation popups. * Specifying what symbols to use for margin markers and how to display visual elements like the brace match indicator and snippet placeholders. +* Specifying the find & replace pane entry font name and size. [colors]: api.html#lexer.colors [text display settings]: api.html#lexer.styles @@ -1334,7 +1335,8 @@ your changes. [`reset()`]: api.html#reset The widgets in the GUI version of Textadept cannot be themed using Lua theme files. Instead, -you must use [GTK Resource Files][], which are part of the GUI toolkit Textadept uses. +you must use [GTK Resource Files][], which are part of the GUI toolkit Textadept uses. The +exception to this is find & replace entry font, which can be changed. **Note:** Textadept's pre-built binaries are built for and linked against GTK 2, not GTK 3. |