mirror of
https://github.com/zyedidia/micro.git
synced 2024-10-06 00:22:12 +03:00
Rewording error message for old comment option
This commit is contained in:
parent
b4920fb645
commit
7134d3f272
@ -64,8 +64,8 @@ ft["zsh"] = "# %s"
|
|||||||
|
|
||||||
function updateCommentType(buf)
|
function updateCommentType(buf)
|
||||||
if buf.Settings["commenttype"] ~= nil then
|
if buf.Settings["commenttype"] ~= nil then
|
||||||
micro.InfoBar():Error("\"commenttype\" option has been updated to \"comment.type\"",
|
micro.InfoBar():Error("\"commenttype\" option has been renamed to \"comment.type\"",
|
||||||
"instead, please update accordingly")
|
", please update your configuration")
|
||||||
end
|
end
|
||||||
|
|
||||||
-- NOTE: Don't use SetOptionNative() to set "comment.type",
|
-- NOTE: Don't use SetOptionNative() to set "comment.type",
|
||||||
|
Loading…
Reference in New Issue
Block a user