From cf227f9031a6b8a9186b534bc51425655a7e0970 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 18 Sep 2022 01:54:32 -0700 Subject: [PATCH] delete a duplicate filename candidate --- source.lua | 1 - 1 file changed, 1 deletion(-) diff --git a/source.lua b/source.lua index 6dd6d1d..dadf4a0 100644 --- a/source.lua +++ b/source.lua @@ -12,7 +12,6 @@ function source.initialize_globals() Show_file_navigator = false File_navigation = { all_candidates = { - 'main', 'run', 'run_tests', 'log',