diff options
author | 2020-10-11 22:43:59 -0400 | |
---|---|---|
committer | 2020-10-11 22:43:59 -0400 | |
commit | ff7f869ae0a02535dcc7f44a65dd3ea2fed87d01 (patch) | |
tree | 2457467679904d4be7d1322e0bfcfc416368d080 /modules/textadept | |
parent | 4f49182b3f4359829449aca2b3b8ca9b6a73180f (diff) | |
download | textadept-ff7f869ae0a02535dcc7f44a65dd3ea2fed87d01.tar.gz textadept-ff7f869ae0a02535dcc7f44a65dd3ea2fed87d01.zip |
Updated LuaDoc.
Diffstat (limited to 'modules/textadept')
-rw-r--r-- | modules/textadept/find.lua | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/modules/textadept/find.lua b/modules/textadept/find.lua index b8d37eed..6dfebb99 100644 --- a/modules/textadept/find.lua +++ b/modules/textadept/find.lua @@ -381,6 +381,18 @@ local function unescape(text) end) or text end +--local function replace_target_re(buffer, rtext) +-- local patt = lpeg.P{ +-- (lpeg.V('tag') + lpeg.V('upper') + lpeg.V('lower') + lpeg.V('stop') + 1)^1, +-- tag = '\\' * lpeg.C(lpeg.R('09')) / buffer.tag, +-- upper = '\\U' * lpeg.V('range') / string.upper, +-- lower = '\\L' * lpeg.V('range') / string.lower, +-- range = lpeg.C((1 - lpeg.P('\\') * lpeg.S('ULE0123456789'))^0), +-- stop = lpeg.P('\\E') / '' +-- } +-- buffer:replace_target(lpeg.match(lpeg.Cs(patt), rtext)) +--end + -- Replaces found (selected) text. events.connect(events.REPLACE, function(rtext) if buffer.selection_empty then return end |