98
98
void miral::WindowManagerTools::place_and_size_for_state(
99
99
WindowSpecification& modifications, WindowInfo const& window_info) const
100
100
{ tools->place_and_size_for_state(modifications, window_info); }
102
auto miral::WindowManagerTools::create_workspace() -> std::shared_ptr<miral::Workspace>
103
{ return tools->create_workspace(); }
105
void miral::WindowManagerTools::add_tree_to_workspace(
106
miral::Window const& window,
107
std::shared_ptr<miral::Workspace> const& workspace)
108
{ tools->add_tree_to_workspace(window, workspace); }
110
void miral::WindowManagerTools::remove_tree_from_workspace(
111
miral::Window const& window,
112
std::shared_ptr<miral::Workspace> const& workspace)
113
{ tools->remove_tree_from_workspace(window, workspace); }
115
void miral::WindowManagerTools::for_each_workspace_containing(
116
miral::Window const& window,
117
std::function<void(std::shared_ptr<miral::Workspace> const&)> const& callback)
118
{ tools->for_each_workspace_containing(window, callback); }
120
void miral::WindowManagerTools::for_each_window_in_workspace(
121
std::shared_ptr<miral::Workspace> const& workspace,
122
std::function<void(miral::Window const&)> const& callback)
123
{ tools->for_each_window_in_workspace(workspace, callback); }