summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Gedminas <marius@gedmin.as>2018-11-03 15:12:10 +0200
committerMarius Gedminas <marius@gedmin.as>2018-11-03 15:12:10 +0200
commit3a08e2fbe4359982fecbe6aa7c3bdef40af5a749 (patch)
treeeb26270385409a391f96d6aefc0bc6b804070101
parentbeb09aa9311c8712fe8257cbc78be4c688b38c45 (diff)
Explicitly check for file changes on focus
In case bugs like #128 reappear.
-rw-r--r--src/gtimelog/main.py4
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: