Update attributeManager.py

This commit is contained in:
chrys87 2018-05-25 12:51:25 +02:00 committed by GitHub
parent f820cbfc0e
commit f188617e5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,17 +13,6 @@ class attributeManager():
self.env = environment self.env = environment
def shutdown(self): def shutdown(self):
pass pass
charAttrib = (
'white', # fg
'black', # bg
False, # bold
False, # italics
False, # underscore
False, # strikethrough
False, # reverse
False, # blink
'default', # fontsize
'default') # fontfamily
def isDefaultAttribute(attribute): def isDefaultAttribute(attribute):
defaultAttributes = [] defaultAttributes = []
defaultAttributes.append(( defaultAttributes.append((