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 /themes/term.lua | |
parent | c883f5126cbcd2322a6deda024f8c99ed20e8a86 (diff) |
Highlight found text in find in files results.
Diffstat (limited to 'themes/term.lua')
-rw-r--r-- | themes/term.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/themes/term.lua b/themes/term.lua index c3701e9b..b99e870b 100644 --- a/themes/term.lua +++ b/themes/term.lua @@ -76,6 +76,7 @@ buffer.marker_back[textadept.run.MARK_WARNING] = property_int['color.yellow'] buffer.marker_back[textadept.run.MARK_ERROR] = property_int['color.red'] -- Indicators. +buffer.indic_fore[ui.find.INDIC_FIND] = property_int['color.yellow'] local INDIC_HIGHLIGHT = textadept.editing.INDIC_HIGHLIGHT buffer.indic_fore[INDIC_HIGHLIGHT] = property_int['color.yellow'] |