add tearoff reattach for the editor

This commit is contained in:
Paul Davis 2014-10-16 13:43:07 -04:00
parent 8097b8c762
commit 8d8717800d
4 changed files with 11 additions and 0 deletions

View file

@ -4069,6 +4069,14 @@ Editor::update_tearoff_visibility()
}
}
void
Editor::reattach_all_tearoffs ()
{
if (_mouse_mode_tearoff) _mouse_mode_tearoff->put_it_back ();
if (_tools_tearoff) _tools_tearoff->put_it_back ();
if (_zoom_tearoff) _zoom_tearoff->put_it_back ();
}
void
Editor::maximise_editing_space ()
{