Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2018-03-08 09:59:02 +00:00
commit e0798af09d

View file

@ -252,7 +252,6 @@ class Tinter {
setTheme(theme) {
console.trace("setTheme " + theme);
this.theme = theme;
// update keyRgb from the current theme CSS itself, if it defines it