ahamilton/eris
1
0
Fork 0
Code Releases Activity

"Removed" is more correct than "deleted".

Browse source
This commit is contained in:
Andrew Hamilton 2016-02-06 17:40:27 +00:00
parent e34df613ca
commit abad5d298f
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
vigil
View file

@ -296,10 +296,10 @@ def get_diff_stats(old_files, new_files):
old_names = set(name for name, ctime in old_files)
new_names = set(name for name, ctime in new_files)
added_count = len(new_names - old_names)
deleted_count = len(old_names - new_names)
removed_count = len(old_names - new_names)
same_count = len(new_names) - added_count
modified_count = same_count - len(old_files.intersection(new_files))
return added_count, deleted_count, modified_count
return added_count, removed_count, modified_count
class Summary:
@ -1002,12 +1002,12 @@ def update_screen(main_widget, appearance_changed_event):
fill3.patch_screen(main_widget)
def _filesystem_changed_message(added, deleted, modified):
def _filesystem_changed_message(added, removed, modified):
def part(stat, text, color):
return termstr.TermStr("%2s %s." % (stat, text)).fg_color(
termstr.Color.grey_100 if stat == 0 else color)
parts = [part(added, "added", termstr.Color.green),
part(deleted, "deleted", termstr.Color.red),
part(removed, "removed", termstr.Color.red),
part(modified, "modified", termstr.Color.light_blue)]
return "Filesystem changed: " + fill3.join(" ", parts)