diff options
| author | Marius Gedminas <marius@gedmin.as> | 2018-11-03 15:12:10 +0200 |
|---|---|---|
| committer | Marius Gedminas <marius@gedmin.as> | 2018-11-03 15:12:10 +0200 |
| commit | 3a08e2fbe4359982fecbe6aa7c3bdef40af5a749 (patch) | |
| tree | eb26270385409a391f96d6aefc0bc6b804070101 | |
| parent | beb09aa9311c8712fe8257cbc78be4c688b38c45 (diff) | |
Explicitly check for file changes on focus
In case bugs like #128 reappear.
| -rw-r--r-- | src/gtimelog/main.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gtimelog/main.py b/src/gtimelog/main.py index 2e704a0..4a57f30 100644 --- a/src/gtimelog/main.py +++ b/src/gtimelog/main.py @@ -1003,6 +1003,10 @@ class Window(Gtk.ApplicationWindow): if self.editing_remote_tasks: self.download_tasks() self.editing_remote_tasks = False + # In case inotify magic fails, let's allow the user to refresh by + # switching focus. + self.check_reload() + self.check_reload_tasks() def virtual_midnight_changed(self, *args): if self.timelog: |