Was not needed anymore. For details see: Bug 621902 - artifacts shown at the button of maximized terminal after minimizing another window over it