mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-27 03:42:49 +00:00
More work on the diff kitten
This commit is contained in:
parent
1dc83a47cf
commit
d5907a1bf9
4 changed files with 59 additions and 7 deletions
|
|
@ -107,8 +107,7 @@ class Differ:
|
|||
key = file1, file2
|
||||
self.jobs.append(key)
|
||||
|
||||
def __call__(self):
|
||||
context = 3
|
||||
def __call__(self, context=3):
|
||||
ans = {}
|
||||
with concurrent.futures.ThreadPoolExecutor(max_workers=os.cpu_count()) as executor:
|
||||
jobs = {executor.submit(run_diff, key[0], key[1], context): key for key in self.jobs}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue