Update attributeManager.py

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

View File

@ -13,6 +13,44 @@ class attributeManager():
self.env = environment
def shutdown(self):
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):
defaultAttributes = []
defaultAttributes.append((
'white', # fg
'black', # bg
False, # bold
False, # italics
False, # underscore
False, # strikethrough
False, # reverse
False, # blink
'default', # fontsize
'default' # fontfamily
)) #end attribute
defaultAttributes.append((
'default', # fg
'default', # bg
False, # bold
False, # italics
False, # underscore
False, # strikethrough
False, # reverse
False, # blink
'default', # fontsize
'default' # fontfamily
)) #end attribute
return attribute in defaultAttributes
def formatAttributes(self, attribute, attributeFormatString = None):
if not attributeFormatString:
attributeFormatString = self.env['runtime']['settingsManager'].getSetting('general', 'attributeFormatString')