github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-24 17:50:15 +09:00
Code Issues Packages Projects Releases Wiki Activity

Pass the view into plugin callbacks

Browse Source
This commit is contained in:
Zachary Yedidia
2016-08-25 16:35:03 -04:00
parent ec0833b09c
commit d6da2dfeca
6 changed files with 145 additions and 150 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/plugins/linter/linter.lua
View File

@@ -30,7 +30,7 @@ function runLinter()
end
end
function onSave()
function onSave(view)
if GetOption("linter") then
runLinter()
else