diff options
Diffstat (limited to 'core/file_io.lua')
| -rw-r--r-- | core/file_io.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/file_io.lua b/core/file_io.lua index 7ddfee00..eb91ed2a 100644 --- a/core/file_io.lua +++ b/core/file_io.lua @@ -305,6 +305,7 @@ local function update_modified_file() end events_connect(events.BUFFER_AFTER_SWITCH, update_modified_file) events_connect(events.VIEW_AFTER_SWITCH, update_modified_file) +events_connect(events.FOCUS, update_modified_file) -- Prompts the user to reload the current file if it has been externally -- modified. |