ahamilton/eris
1
0
Fork 0
Code Releases Activity

Coding style.

Browse source
This commit is contained in:
Andrew Hamilton 2017-08-14 14:32:29 +01:00
parent a21d3de99c
commit 5a26b9fd13
1 changed files with 12 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

35
vigil/__main__.py
View file

@ -406,32 +406,15 @@ class Summary:
self._cursor_position = position self._cursor_position = position
return return
def refresh(self, log):
selection = self.get_selection()
if selection.status not in {tools.Status.running, tools.Status.paused,
tools.Status.pending}:
tool_name = tools.tool_name_colored(
selection.tool, selection.path)
path_colored = tools.path_colored(selection.path)
log.log_message([in_green("Refreshing "), tool_name,
in_green(" result of "), path_colored,
in_green("...")])
selection.reset()
self.closest_placeholder_generator = None
self._jobs_added_event.set()
self.completed_total -= 1
def refresh_result(self, result): def refresh_result(self, result):
selection = result if result.status not in {tools.Status.running, tools.Status.paused,
if selection.status not in {tools.Status.running, tools.Status.paused, tools.Status.pending}:
tools.Status.pending}: result.reset()
selection.reset()
self.closest_placeholder_generator = None self.closest_placeholder_generator = None
self._jobs_added_event.set() self._jobs_added_event.set()
self.completed_total -= 1 self.completed_total -= 1
def refresh_tool(self): def refresh_tool(self, tool):
tool = self.get_selection().tool
for row in self._column: for row in self._column:
for result in row: for result in row:
if result.tool == tool: if result.tool == tool:
@ -757,14 +740,20 @@ class Screen:
os.kill(os.getpid(), signal.SIGINT) os.kill(os.getpid(), signal.SIGINT)
def refresh(self): def refresh(self):
self._summary.refresh(self._log) selection = self._summary.get_selection()
tool_name = tools.tool_name_colored(selection.tool, selection.path)
path_colored = tools.path_colored(selection.path)
self._log.log_message([in_green("Refreshing "), tool_name,
in_green(" result of "), path_colored,
in_green("...")])
self._summary.refresh_result(selection)
def refresh_tool(self): def refresh_tool(self):
selection = self._summary.get_selection() selection = self._summary.get_selection()
tool_name = tools.tool_name_colored(selection.tool, selection.path) tool_name = tools.tool_name_colored(selection.tool, selection.path)
self._log.log_message([in_green("Refreshing all results of "), self._log.log_message([in_green("Refreshing all results of "),
tool_name, in_green("...")]) tool_name, in_green("...")])
self._summary.refresh_tool() self._summary.refresh_tool(selection.tool)
_DIMMED_BORDER = [termstr.TermStr(part).fg_color(termstr.Color.grey_100) _DIMMED_BORDER = [termstr.TermStr(part).fg_color(termstr.Color.grey_100)
for part in fill3.Border.THIN] for part in fill3.Border.THIN]