void ResetFloatMode ()
{
if (floatingWindow != null) {
// The widgets have already been removed from the window in ResetMode
floatingWindow.Destroy ();
floatingWindow = null;
if (titleTab != null)
titleTab.UpdateBehavior ();
}
}