Should hook `window-state-event` to get informed about times when rendering doesn't need to happen
http://stackoverflow.com/questions/8018328/what-is-the-gtk-event-called-when-a-window-minimizes may be useful
Bug watches keep track of this bug in other bug trackers.
http:// stackoverflow. com/questions/ 8018328/ what-is- the-gtk- event-called- when-a- window- minimizes may be useful