I have the ability to change the buttons in the window manager settings but in the user interface, any of the themes i select seem to have no effect on anything. I still have the same grey theme i had before. What file must I do brutal things to in order for this to work? I'm using 4.0.6.