Created by: rspeicher
Before this fix, the button icons in the header for non-default themes had a double icon.
Closes #1910 (closed)
Newest first
Oldest first
0 pending comments
