From 1634f682500017de39c210c1b87cf80a62e07f46 Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Tue, 17 Nov 2020 12:34:46 +0100 Subject: [PATCH] Add a warning when disable auto-complete due to too many symbols --- data/plugins/autocomplete.lua | 3 +++ 1 file changed, 3 insertions(+) diff --git a/data/plugins/autocomplete.lua b/data/plugins/autocomplete.lua index 7a43fd17..ee318a1c 100644 --- a/data/plugins/autocomplete.lua +++ b/data/plugins/autocomplete.lua @@ -42,6 +42,9 @@ core.add_thread(function() if symbols_count > max_symbols then s = nil doc.disable_symbols = true + core.status_view:show_message("!", style.accent, + "Too many symbols in document "..doc.filename.. + ": stopping auto-complete for this document according to config.max_symbols.") collectgarbage('collect') return {} end