public void hide(Client client)
{
if (client.state == InternalState.HIDDEN) return;
/* Set this state to give hint to {@link
* #when_unmap_notify(UnmapNotify)}.
*
* <p>Do it before <code>client.unmap ()</code>.
*/
client.state = InternalState.HIDDEN;
client.set_wm_state (Window.WMState.ICONIC);
client.unmap ();
last_hide = client;
}
