fix(#2133): harden hide_root_folder deprecation (#2134)

This commit is contained in:
Alexander Courtis 2023-04-12 16:33:14 +10:00 committed by GitHub
parent e16083cb01
commit b601b5aa25
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,7 +44,7 @@ local function refactored(opts)
end end
local function deprecated(opts) local function deprecated(opts)
if opts.view.hide_root_folder then if opts.view and opts.view.hide_root_folder then
notify.info "view.hide_root_folder is deprecated, please set renderer.root_folder_label = false" notify.info "view.hide_root_folder is deprecated, please set renderer.root_folder_label = false"
end end
end end