diff options
author | Pablo Vazquez <venomgfx@gmail.com> | 2013-02-15 20:42:41 +0400 |
---|---|---|
committer | Pablo Vazquez <venomgfx@gmail.com> | 2013-02-15 20:42:41 +0400 |
commit | 4eb90a9d1e377d5cd2c92019e0e116d4f09c9862 (patch) | |
tree | 164a2f590692eb0ebc25cdf82ff601e7e52b0312 /release | |
parent | 9fe4dbb9f10e611d2c24eccbfbcbb9260370b8bd (diff) |
'Reset to Default Theme' wasn't taking into account those themes that enable panel header/background.
Diffstat (limited to 'release')
0 files changed, 0 insertions, 0 deletions