skins: Some skins hide widgets by placing them outside the window. In GTK+ 2.x this was fine, but in GTK+ 3.x it will enlarge the window, so we have to detect these widgets and actually hide them. Closes: #299.