19 #ifndef MIRAL_SHELL_FLOATING_WINDOW_MANAGER_H 20 #define MIRAL_SHELL_FLOATING_WINDOW_MANAGER_H 46 std::function<
void()>& shutdown_hook);
82 static const int modifier_mask =
96 bool resizing =
false;
97 bool left_resize =
false;
98 bool top_resize =
false;
100 int old_touch_pinch_top = 0;
101 int old_touch_pinch_left = 0;
102 int old_touch_pinch_width = 0;
103 int old_touch_pinch_height = 0;
104 bool pinching =
false;
108 std::unique_ptr<DecorationProvider>
const decoration_provider;
112 void keep_window_within_constraints(
116 Height& new_height)
const;
119 std::chrono::steady_clock::time_point last_resize;
121 void advise_adding_to_workspace(
122 std::shared_ptr<miral::Workspace>
const& workspace,
123 std::vector<miral::Window>
const& windows)
override;
125 auto confirm_placement_on_display(
131 void switch_workspace_to(
132 std::shared_ptr<miral::Workspace>
const& workspace,
135 std::shared_ptr<miral::Workspace> active_workspace;
136 std::map<int, std::shared_ptr<miral::Workspace>> key_to_workspace;
137 std::map<std::shared_ptr<miral::Workspace>,
miral::Window> workspace_to_active;
139 void apply_workspace_visible_to(
miral::Window const& window);
143 void keep_spinner_on_top();
146 #endif //MIRAL_SHELL_FLOATING_WINDOW_MANAGER_H
Handle additional client requests.
Definition: window_management_policy_addendum3.h:41
Definition: application_info.h:31
Definition: internal_client.h:60
Widely accepted defaults for window management.
Definition: canonical_window_manager.h:28
Definition: decoration_provider.h:58
Definition: window_info.h:32
Definition: window_specification.h:43
Handle class to manage a Mir surface. It may be null (e.g. default initialized)
Definition: window.h:37
Definition: displacement.h:32
Advise changes to workspaces.
Definition: workspace_policy.h:46
Definition: rectangle.h:33
Basic geometry types. Types for dimensions, displacements, etc. and the operations that they support...
Definition: dimensions.h:30
Definition: floating_window_manager.h:38
Mir Abstraction Layer.
Definition: floating_window_manager.h:32