mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-29 22:27:13 +09:00
stop version error when updating and option to disable builtin plugin. (#939)
This commit is contained in:
@@ -1,4 +1,7 @@
|
|||||||
VERSION = "1.0.0"
|
-- VERSION = "1.0.0"
|
||||||
|
if GetOption("literate") == nil then
|
||||||
|
AddOption("literate", true)
|
||||||
|
end
|
||||||
|
|
||||||
function startswith(str, start)
|
function startswith(str, start)
|
||||||
return string.sub(str,1,string.len(start))==start
|
return string.sub(str,1,string.len(start))==start
|
||||||
@@ -16,6 +19,7 @@ function split(string, sep)
|
|||||||
end
|
end
|
||||||
|
|
||||||
function onViewOpen(view)
|
function onViewOpen(view)
|
||||||
|
if not GetOption("literate") then return end
|
||||||
if not endswith(view.Buf.Path, ".lit") then
|
if not endswith(view.Buf.Path, ".lit") then
|
||||||
return
|
return
|
||||||
end
|
end
|
||||||
|
|||||||
Reference in New Issue
Block a user