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

tweak line changes with diff

Browse Source
This commit is contained in:
chrys 2017-07-24 21:43:00 +02:00
parent 32e11ac9a7
commit 103cdf531e
2 changed files with 8 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/fenrir/commands/onScreenUpdate/70000-incoming.py
View File

@ -22,18 +22,14 @@ class command():
# is there something to read? # is there something to read?
if not self.env['runtime']['screenManager'].isDelta(): if not self.env['runtime']['screenManager'].isDelta():
return return
# this must be a keyecho or something
if len(self.env['screen']['newDelta']) <=2: if len(self.env['screen']['newDelta']) <=2:
return if abs(self.env['screen']['newCursor']['x'] - self.env['screen']['oldCursor']['x']) == 1:
# its a cursor movement (experimental) - maybe also check current shortcut string? # if len(self.env['screen']['newDelta'].strip(' \n\t0123456789')) <= 2:
return
#if not '$' in self.env['screen']['newDelta'] and if abs(self.env['screen']['newCursor']['y'] - self.env['screen']['oldCursor']['y']) == 1:
# not '#' in self.env['screen']['newDelta']: # if len(self.env['screen']['newDelta'].strip(' \n\t0123456789')) <= 2:
if abs(self.env['screen']['newCursor']['x'] - self.env['screen']['oldCursor']['x']) == 1: return
# if len(self.env['screen']['newDelta'].strip(' \n\t0123456789')) <= 2:
return
if abs(self.env['screen']['newCursor']['y'] - self.env['screen']['oldCursor']['y']) == 1:
# if len(self.env['screen']['newDelta'].strip(' \n\t0123456789')) <= 2:
return
self.env['runtime']['outputManager'].presentText(self.env['screen']['newDelta'], interrupt=False, flush=False) self.env['runtime']['outputManager'].presentText(self.env['screen']['newDelta'], interrupt=False, flush=False)
def setCallback(self, callback): def setCallback(self, callback):

1
src/fenrir/core/fenrirManager.py
View File

@ -101,7 +101,6 @@ class fenrirManager():
def handleScreenUpdate(self, event): def handleScreenUpdate(self, event):
#startTime = time.time() #startTime = time.time()
self.environment['runtime']['screenManager'].update('onUpdate') self.environment['runtime']['screenManager'].update('onUpdate')
''' '''
if self.environment['runtime']['applicationManager'].isApplicationChange(): if self.environment['runtime']['applicationManager'].isApplicationChange():