comparison misc/org.salutatoi.SAT.service @ 3268:85c9cfcd4f5e

tools (common/template): theme settings with possibility to disable default fallback for CSS: - themes can now have a `settings.json` file at their root to modify the renderer behaviour - the `css_default_fallback` boolean (true by default) can be used to disable the fallback mechanism when CSS files are checked. Useful when a theme doesn't follow the CSS naming of default theme. - introduced some type hints
author Goffi <goffi@goffi.org>
date Sun, 03 May 2020 17:01:39 +0200
parents 779351da2c13
children 7550ae9cfbac
comparison
equal deleted inserted replaced
3267:2eeca6fd08f7 3268:85c9cfcd4f5e