From 5945394547c6db2435d00ecb304bea1a4dfed5ad Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Wed, 6 Jan 2016 23:03:53 +0000 Subject: [PATCH] Removed live detection of changes to tools.py. This didn't work with the long running worker processes. It wasn't needed, just restart vigil. --- vigil | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/vigil b/vigil index 3305cb1..ec85499 100755 --- a/vigil +++ b/vigil @@ -600,11 +600,6 @@ class Screen: self._log.log_message("Filesystem changed.") self._summary.sync_with_filesystem(sync_tools=False) self._appearance_changed_event.set() - - def on_tools_change(event): - self._log.log_message("Tools changed.") - self._summary.sync_with_filesystem(sync_paths=False) - self._appearance_changed_event.set() watch_manager = pyinotify.WatchManager() event_mask = (pyinotify.IN_CREATE | pyinotify.IN_DELETE | pyinotify.IN_CLOSE_WRITE | pyinotify.IN_ATTRIB) @@ -612,8 +607,6 @@ class Screen: self._summary._root_path, event_mask, rec=True, auto_add=True, proc_fun=on_filesystem_change, exclude_filter=lambda path: is_path_excluded(path)) - watch_manager.add_watch(tools.__file__, event_mask, - proc_fun=on_tools_change) self._watch_manager = watch_manager add_watch_manager_to_mainloop(self._watch_manager, self._main_loop) @@ -980,9 +973,9 @@ def main(root_path): if screen._is_paused: for runner in runners: runner.pause() + def on_window_resize(n, frame): appearance_changed_event.set() - appearance_changed_event.set() update_display_thread = threading.Thread( target=update_screen, args=(screen, appearance_changed_event),