diff options
author | 2009-02-04 20:45:11 -0500 | |
---|---|---|
committer | 2009-02-04 20:45:11 -0500 | |
commit | 65fecf117e5187750e3f633420a4f7cd86dfaad3 (patch) | |
tree | b626058ceec3b66e4584234c08ba0951587d633e | |
parent | 8c77a0924bf5e452db0856d9905e4a4ca194de3b (diff) | |
download | textadept-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.lua | 1 |
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 |