Remove unused whitespace_replacements function
This commit is contained in:
parent
f6a0e12e31
commit
f7193c4fa2
|
@ -827,14 +827,6 @@ function core.remove_project_directory(path)
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
local function whitespace_replacements()
|
|
||||||
local r = renderer.replacements.new()
|
|
||||||
r:add(" ", "·")
|
|
||||||
r:add("\t", "»")
|
|
||||||
return r
|
|
||||||
end
|
|
||||||
|
|
||||||
|
|
||||||
local function configure_borderless_window()
|
local function configure_borderless_window()
|
||||||
system.set_window_bordered(not config.borderless)
|
system.set_window_bordered(not config.borderless)
|
||||||
core.title_view:configure_hit_test(config.borderless)
|
core.title_view:configure_hit_test(config.borderless)
|
||||||
|
|
Loading…
Reference in New Issue