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 | |
parent | c883f5126cbcd2322a6deda024f8c99ed20e8a86 (diff) |
Highlight found text in find in files results.
Diffstat (limited to 'themes')
-rw-r--r-- | themes/dark.lua | 4 | ||||
-rw-r--r-- | themes/light.lua | 2 | ||||
-rw-r--r-- | themes/term.lua | 1 |
3 files changed, 6 insertions, 1 deletions
diff --git a/themes/dark.lua b/themes/dark.lua index 3de9e2d6..84c25c64 100644 --- a/themes/dark.lua +++ b/themes/dark.lua @@ -20,7 +20,7 @@ property['color.dark_white'] = 0xCCCCCC -- Dark colors. --property['color.dark_red'] = 0x1A1A66 ---property['color.dark_yellow'] = 0x1A6666 +property['color.dark_yellow'] = 0x1A6666 --property['color.dark_green'] = 0x1A661A --property['color.dark_teal'] = 0x66661A --property['color.dark_purple'] = 0x661A66 @@ -119,6 +119,8 @@ for i = 25, 31 do -- fold margin markers end -- Indicators. +buffer.indic_fore[ui.find.INDIC_FIND] = property_int['color.dark_yellow'] +buffer.indic_alpha[ui.find.INDIC_FIND] = 255 local INDIC_BRACEMATCH = textadept.editing.INDIC_BRACEMATCH buffer.indic_fore[INDIC_BRACEMATCH] = property_int['color.light_grey'] local INDIC_HIGHLIGHT = textadept.editing.INDIC_HIGHLIGHT diff --git a/themes/light.lua b/themes/light.lua index 18f19e3f..ac45310c 100644 --- a/themes/light.lua +++ b/themes/light.lua @@ -119,6 +119,8 @@ for i = 25, 31 do -- fold margin markers end -- Indicators. +buffer.indic_fore[ui.find.INDIC_FIND] = property_int['color.yellow'] +buffer.indic_alpha[ui.find.INDIC_FIND] = 255 local INDIC_BRACEMATCH = textadept.editing.INDIC_BRACEMATCH buffer.indic_fore[INDIC_BRACEMATCH] = property_int['color.grey'] local INDIC_HIGHLIGHT = textadept.editing.INDIC_HIGHLIGHT 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'] |