fix(toggle): dont show incorrect deprecation warning for toggle. Fixes #1679

This commit is contained in:
Folke Lemaitre 2023-10-12 17:59:48 +02:00
parent 2a0b7a88ba
commit 7c7b4be8db
No known key found for this signature in database
GPG key ID: 41F8B1FBACAE2040

View file

@ -23,7 +23,6 @@ local deprecated = {
root_patterns = { "root", "patterns" }, root_patterns = { "root", "patterns" },
get_root = { "root", "get" }, get_root = { "root", "get" },
float_term = { "terminal", "open" }, float_term = { "terminal", "open" },
toggle = { "toggle", "option" },
toggle_diagnostics = { "toggle", "diagnostics" }, toggle_diagnostics = { "toggle", "diagnostics" },
toggle_number = { "toggle", "number" }, toggle_number = { "toggle", "number" },
fg = "ui", fg = "ui",