You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
62 lines
1.3 KiB
62 lines
1.3 KiB
3 years ago
|
local core = require "core"
|
||
|
|
local config = require "core.config"
|
||
|
|
local Doc = require "core.doc"
|
||
|
|
|
||
|
|
|
||
|
|
local times = setmetatable({}, { __mode = "k" })
|
||
|
|
|
||
|
|
local function update_time(doc)
|
||
|
|
local info = system.get_file_info(doc.filename)
|
||
|
|
times[doc] = info.modified
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
local function reload_doc(doc)
|
||
|
|
local fp = io.open(doc.filename, "r")
|
||
|
|
local text = fp:read("*a")
|
||
|
|
fp:close()
|
||
|
|
|
||
|
|
local sel = { doc:get_selection() }
|
||
|
|
doc:remove(1, 1, math.huge, math.huge)
|
||
|
|
doc:insert(1, 1, text:gsub("\r", ""):gsub("\n$", ""))
|
||
|
|
doc:set_selection(table.unpack(sel))
|
||
|
|
|
||
|
|
update_time(doc)
|
||
|
|
doc:clean()
|
||
|
|
core.log_quiet("Auto-reloaded doc \"%s\"", doc.filename)
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
core.add_thread(function()
|
||
|
|
while true do
|
||
|
|
-- check all doc modified times
|
||
|
|
for _, doc in ipairs(core.docs) do
|
||
|
|
local info = system.get_file_info(doc.filename or "")
|
||
|
|
if info and times[doc] ~= info.modified then
|
||
|
|
reload_doc(doc)
|
||
|
|
end
|
||
|
|
coroutine.yield()
|
||
|
|
end
|
||
|
|
|
||
|
|
-- wait for next scan
|
||
|
|
coroutine.yield(config.project_scan_rate)
|
||
|
|
end
|
||
|
|
end)
|
||
|
|
|
||
|
|
|
||
|
|
-- patch `Doc.save|load` to store modified time
|
||
|
|
local load = Doc.load
|
||
|
|
local save = Doc.save
|
||
|
|
|
||
|
|
Doc.load = function(self, ...)
|
||
|
|
local res = load(self, ...)
|
||
|
|
update_time(self)
|
||
|
|
return res
|
||
|
|
end
|
||
|
|
|
||
|
|
Doc.save = function(self, ...)
|
||
|
|
local res = save(self, ...)
|
||
|
|
update_time(self)
|
||
|
|
return res
|
||
|
|
end
|