Sam Wilson 7b6912ba98 Use default theme if loaded one is not found ...

When loading a user's theme, make sure it's installed. Also, when
determining the default theme, account for the situation in which
zero themes are installed (and use 'default' then).

Refs #1061

2019-08-14 12:18:45 +02:00

39 KiB

Raw Blame History

View Raw