aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormitchell <70453897+667e-11@users.noreply.github.com>2009-02-04 20:45:11 -0500
committermitchell <70453897+667e-11@users.noreply.github.com>2009-02-04 20:45:11 -0500
commit65fecf117e5187750e3f633420a4f7cd86dfaad3 (patch)
treeb626058ceec3b66e4584234c08ba0951587d633e
parent8c77a0924bf5e452db0856d9905e4a4ca194de3b (diff)
downloadtextadept-65fecf117e5187750e3f633420a4f7cd86dfaad3.tar.gz
textadept-65fecf117e5187750e3f633420a4f7cd86dfaad3.zip
Ignore find text case with case-insensitive find in files; core/ext/find.lua
-rw-r--r--core/ext/find.lua1
1 files changed, 1 insertions, 0 deletions
diff --git a/core/ext/find.lua b/core/ext/find.lua
index 54cecd68..4938f3af 100644
--- a/core/ext/find.lua
+++ b/core/ext/find.lua
@@ -85,6 +85,7 @@ function find.find(text, next, flags, nowrap, wrapped)
})
if #dir > 0 then
if not find.lua then text = text:gsub('([().*+?^$%%[%]-])', '%%%1') end
+ if not find.match_case then text = text:lower() end
if find.whole_word then text = '[^%W_]'..text..'[^%W_]' end
local lfs = require 'lfs'
local match_case = find.match_case