Update attributeManager.py

This commit is contained in:
chrys87 2018-05-28 09:59:18 +02:00 committed by GitHub
parent 304432c33d
commit 026b4f55e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,6 +9,8 @@ from collections import Counter
class attributeManager():
def __init__(self):
self.currAttributes = None
self.prevAttributes = None
self.setDefaultAttributes()
def initialize(self, environment):
self.env = environment
@ -165,6 +167,9 @@ class attributeManager():
# no change
if oldAttr == newAttr:
return result, currCursor
# error case
if newAttr == None:
return result, currCursor
# special case for pty if not text exists.
if len(newAttr) == 0:
return result, currCursor