diff options
author | 2009-02-23 09:40:37 -0500 | |
---|---|---|
committer | 2009-02-23 09:40:37 -0500 | |
commit | f60369b2fee19c514c14b00938b2d5e860eaeebd (patch) | |
tree | 0aca384e428fc962bc9c40716f5b89f29436d6d1 /core/file_io.lua | |
parent | 87fb3480dbcf3975fa721856e414838108a2c38b (diff) | |
download | textadept-f60369b2fee19c514c14b00938b2d5e860eaeebd.tar.gz textadept-f60369b2fee19c514c14b00938b2d5e860eaeebd.zip |
The recent_files list behaves better; core/file_io.lua
Diffstat (limited to 'core/file_io.lua')
-rw-r--r-- | core/file_io.lua | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/core/file_io.lua b/core/file_io.lua index 45661322..32764f12 100644 --- a/core/file_io.lua +++ b/core/file_io.lua @@ -26,8 +26,12 @@ recent_files = {} local function open_helper(filename) if not filename then return end for index, buffer in ipairs(textadept.buffers) do - if filename == buffer.filename then view:goto_buffer(index) return end + if filename == buffer.filename then + view:goto_buffer(index) + return + end end + local text local f = io.open(filename, 'rb') if f then @@ -47,6 +51,13 @@ local function open_helper(filename) buffer.filename = filename buffer:set_save_point() textadept.events.handle('file_opened', filename) + + for index, file in ipairs(recent_files) do + if file == filename then + table.remove(recent_files, index) + break + end + end recent_files[#recent_files + 1] = filename end |