add bannerfont and bannerfontattrs to config.themes_default variable. Fixes #1838

This commit is contained in:
Yann Leboulanger 2006-04-10 11:44:27 +00:00
parent a54d549d57
commit f6aaac5e57

View file

@ -305,23 +305,24 @@ class Config:
themes_default = { themes_default = {
# sorted alphanum # sorted alphanum
'gtk+': [ '', '', '', 'B', '', '','', 'I', '', '', '', '', '','' ], 'gtk+': [ '', '', '', 'B', '', '','', 'I', '', '', '', '', '','', '',
'B' ],
_('green'): [ '', '#94aa8c', '', 'B', '#0000ff', '#eff3e7', _('green'): [ '', '#94aa8c', '', 'B', '#0000ff', '#eff3e7',
'', 'I', '#000000', '', '', '', '', '', 'I', '#000000', '', '', '', '',
'#94aa8c' ], '#94aa8c', '', 'B' ],
_('grocery'): [ '', '#6bbe18', '', 'B', '#12125a', '#ceefad', _('grocery'): [ '', '#6bbe18', '', 'B', '#12125a', '#ceefad',
'', 'I', '#000000', '#efb26b', '', '', '', '', 'I', '#000000', '#efb26b', '', '', '',
'#108abd' ], '#108abd', '', 'B' ],
_('human'): [ '', '#996442', '', 'B', '#ab5920', '#e3ca94', _('human'): [ '', '#996442', '', 'B', '#ab5920', '#e3ca94',
'', 'I', '#000000', '', '', '', '', '', 'I', '#000000', '', '', '', '',
'#996442' ], '#996442', '', 'B' ],
_('marine'): [ '', '#918caa', '', 'B', '', '#e9e7f3', _('marine'): [ '', '#918caa', '', 'B', '', '#e9e7f3',
'', 'I', '#000000', '', '', '', '', '', 'I', '#000000', '', '', '', '',
'#918caa' ], '#918caa', '', 'B' ],
} }