From f7193c4fa24d4d600a34d6d8cbff20c1073be380 Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Sat, 22 Jan 2022 21:46:02 +0100 Subject: [PATCH] Remove unused whitespace_replacements function --- data/core/init.lua | 8 -------- 1 file changed, 8 deletions(-) diff --git a/data/core/init.lua b/data/core/init.lua index 38003179..8810d4b2 100644 --- a/data/core/init.lua +++ b/data/core/init.lua @@ -827,14 +827,6 @@ function core.remove_project_directory(path) end -local function whitespace_replacements() - local r = renderer.replacements.new() - r:add(" ", "·") - r:add("\t", "»") - return r -end - - local function configure_borderless_window() system.set_window_bordered(not config.borderless) core.title_view:configure_hit_test(config.borderless)