make code editor filter pattern-safe & update script_file template
This commit is contained in:
parent
27b194816b
commit
4df6150692
@ -81,13 +81,14 @@ local function refresh_file_title()
|
|||||||
end
|
end
|
||||||
|
|
||||||
function filter_files(text)
|
function filter_files(text)
|
||||||
|
local pattern_safe = text:pattern_safe();
|
||||||
local filtered = {}
|
local filtered = {}
|
||||||
for _, filename in ipairs(filenames) do
|
for _, filename in ipairs(filenames) do
|
||||||
if filename:find(text) then
|
if filename:find(pattern_safe) then
|
||||||
table.insert(filtered, filename)
|
table.insert(filtered, filename)
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
build_files_list(filtered, text)
|
build_files_list(filtered, pattern_safe)
|
||||||
end
|
end
|
||||||
|
|
||||||
function on_control_combination(keycode)
|
function on_control_combination(keycode)
|
||||||
@ -229,15 +230,15 @@ function open_file_in_editor(filename, line, mutable)
|
|||||||
document.saveIcon.enabled = current_file.modified
|
document.saveIcon.enabled = current_file.modified
|
||||||
end
|
end
|
||||||
|
|
||||||
function build_files_list(filenames, selected)
|
function build_files_list(filenames, highlighted_part)
|
||||||
local files_list = document.filesList
|
local files_list = document.filesList
|
||||||
files_list.scroll = 0
|
files_list.scroll = 0
|
||||||
files_list:clear()
|
files_list:clear()
|
||||||
|
|
||||||
for _, actual_filename in ipairs(filenames) do
|
for _, actual_filename in ipairs(filenames) do
|
||||||
local filename = actual_filename
|
local filename = actual_filename
|
||||||
if selected then
|
if highlighted_part then
|
||||||
filename = filename:gsub(selected, "**"..selected.."**")
|
filename = filename:gsub(highlighted_part, "**"..highlighted_part.."**")
|
||||||
end
|
end
|
||||||
local parent = file.parent(filename)
|
local parent = file.parent(filename)
|
||||||
local info = registry.get_info(actual_filename)
|
local info = registry.get_info(actual_filename)
|
||||||
@ -250,7 +251,8 @@ function build_files_list(filenames, selected)
|
|||||||
name = file.name(filename),
|
name = file.name(filename),
|
||||||
icon = icon,
|
icon = icon,
|
||||||
unit = info and info.unit or '',
|
unit = info and info.unit or '',
|
||||||
filename = actual_filename
|
filename = actual_filename,
|
||||||
|
open_func = "open_file_in_editor",
|
||||||
}))
|
}))
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|||||||
@ -3,7 +3,7 @@
|
|||||||
<label hover-color='#30A0FF'
|
<label hover-color='#30A0FF'
|
||||||
pos="20,2"
|
pos="20,2"
|
||||||
interactive="true"
|
interactive="true"
|
||||||
onclick='open_file_in_editor("%{filename}")'
|
onclick='%{open_func}("%{filename}")'
|
||||||
markup='md'
|
markup='md'
|
||||||
tooltip='%{unit}'
|
tooltip='%{unit}'
|
||||||
sizefunc="-1,-1">
|
sizefunc="-1,-1">
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user