[enh] configurable default oscar style

This commit is contained in:
Adam Tauber 2018-08-19 15:23:11 +02:00
parent baacfac32b
commit 69d1dd3f86
2 changed files with 3 additions and 0 deletions

View file

@ -264,6 +264,7 @@ class Preferences(object):
'False': False,
'True': True}),
'doi_resolver': MultipleChoiceSetting(['oadoi.org'], choices=DOI_RESOLVERS),
'oscar-style': EnumStringSetting(settings['ui'].get('theme_args', {}).get('oscar_style', 'logicodev'), choices=['', 'logicodev', 'logicodev-dark', 'pointhi']),
}
self.engines = EnginesSetting('engines', choices=engines)