storm/fenrir
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use compare insteed of ndiff - small performance win

Browse Source
This commit is contained in:
chrys87 2018-05-29 16:17:51 +02:00 committed by GitHub
parent c0f308dab4
commit 2f0edb5716
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/fenrirscreenreader/core/screenManager.py
View File

@ -10,6 +10,7 @@ import time, os, re, difflib
class screenManager():
def __init__(self):
self.differ = difflib.Differ()
self.currScreenIgnored = False
self.prevScreenIgnored = False
self.prevScreenText = ''
@ -144,7 +145,8 @@ class screenManager():
# oldScreenText = re.sub(' +',' ',oldScreenText)
newScreenText = self.env['screen']['newContentText'][cursorLineStartOffset:cursorLineEndOffset]
#newScreenText = re.sub(' +',' ',newScreenText)
diff = difflib.ndiff(oldScreenText, newScreenText)
diff = self.differ.compare(oldScreenText, newScreenText)
#diff = difflib.ndiff(oldScreenText, newScreenText)
diffList = list(diff)
tempNewDelta = ''.join(x[2:] for x in diffList if x[0] == '+')
if tempNewDelta.strip() != '':
@ -152,8 +154,10 @@ class screenManager():
diffList = ['+ ' + self.env['screen']['newContentText'].split('\n')[self.env['screen']['newCursor']['y']]]
typing = True
else:
diff = difflib.ndiff( oldScreenText.split('\n'),\
diff = self.differ.compare(oldScreenText.split('\n'),\
newScreenText.split('\n'))
#diff = difflib.ndiff( oldScreenText.split('\n'),\
# newScreenText.split('\n'))
diffList = list(diff)
if not typing: