Also http://askubuntu.com/questions/69416/window-manager-buttons-no-longer-highlight-on-mouseover-if-window-isnt-maximize
Also http:// askubuntu. com/questions/ 69416/window- manager- buttons- no-longer- highlight- on-mouseover- if-window- isnt-maximize