diff options
author | 2019-09-19 14:07:05 -0400 | |
---|---|---|
committer | 2019-09-19 14:07:05 -0400 | |
commit | e80ec842005ddeaece5c04f1cea8bccdb24c845a (patch) | |
tree | 2303973bd315c047b0241e74ab09500cd59f2867 /core/ui.lua | |
parent | 1599d1a49b2fa23a2babfec23e78c17f079558e9 (diff) |
Fixed bug introduced in r2623.
Diffstat (limited to 'core/ui.lua')
-rw-r--r-- | core/ui.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/ui.lua b/core/ui.lua index 0d1c72bb..295a24c3 100644 --- a/core/ui.lua +++ b/core/ui.lua @@ -243,12 +243,12 @@ end -- @name goto_file function ui.goto_file(filename, split, preferred_view, sloppy) local patt = '^'..filename..'$' -- TODO: escape filename properly + if sloppy then patt = filename:match('[^/\\]+$')..'$' end if WIN32 then - filename = filename:gsub('%a', function(letter) + patt = patt:gsub('%a', function(letter) return string.format('[%s%s]', letter:upper(), letter:lower()) end) end - if sloppy then patt = filename:match('[^/\\]+$')..'$' end if #_VIEWS == 1 and split and not (view.buffer.filename or ''):find(patt) then view:split() else |