diff options
| author |  mitchell <70453897+667e-11@users.noreply.github.com> | 2015-07-25 10:25:26 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2015-07-25 10:25:26 -0400 |
| commit | 473382638da565c890fcf8e6119f95dbdf918973 (patch) | |
| tree | a0c996ece7bc479dc5743d8ed27fdb96ac101c32 /core | |
| parent | c883f5126cbcd2322a6deda024f8c99ed20e8a86 (diff) | |
Highlight found text in find in files results.
Diffstat (limited to 'core')
| -rw-r--r-- | core/ui.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/ui.lua b/core/ui.lua index dbcb8f29..3b787e8f 100644 --- a/core/ui.lua +++ b/core/ui.lua @@ -28,6 +28,9 @@ local ui = ui -- The default value is `true`. -- @field SILENT_PRINT (bool) -- Whether or not to print messages to buffers silently. +-- This is not guaranteed to be a constant value, as Textadept may change it +-- for the editor's own purposes. This flag should be used only in conjunction +-- with a group of [`ui.print()`]() and [`ui._print()`]() function calls. -- The default value is `false`, and focuses buffers when messages are printed -- to them. module('ui')]] |