4 Commits

Author	SHA1	Message	Date
Eric Lippmann	17dda6df4e	Fix that themes are always disabled in the general config ... fixes #10906	2015-12-23 14:03:17 +01:00
Eric Lippmann	9c7c2bd6b1	Show correct default theme in configuration dialogs	2015-12-22 14:10:47 +01:00
Eric Lippmann	9599b63a55	Fix that setting a default theme had not effect	2015-12-22 13:00:01 +01:00
Eric Lippmann	f9c10ab500	Add configuration form for theming options ... refs #10705	2015-11-26 15:52:15 +01:00