mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-29 06:12:35 +09:00
Update default plugins slightly
This commit is contained in:
@@ -125,7 +125,7 @@ end
|
||||
|
||||
function onSave(bp)
|
||||
runLinter(bp.Buf)
|
||||
return false
|
||||
return true
|
||||
end
|
||||
|
||||
function lint(buf, linter, cmd, args, errorformat, loff, coff)
|
||||
|
||||
Reference in New Issue
Block a user