Closed MartinSGill closed 11 years ago
Select a non-default theme, press F5 and the default theme is re-applied.
Fix was for #1 not issue #7.
Select a non-default theme, press F5 and the default theme is re-applied.