Reset ignore repaint *after* setting the background back
Tree paints correctly when the window is inactive
Keeping track of which hacks have been done
If the user changes the theme at runtime, the pressed icon will appear correctly.