32#ifndef FENNEC_PLATFORM_WINDOWMANAGER_H
33#define FENNEC_PLATFORM_WINDOWMANAGER_H
35#include <fennec/platform/interface/fwd.h>
37#include <fennec/memory/pointers.h>
47 using server_t = unique_ptr<display_server>;
48 using window_t = unique_ptr<window>;
49 using window_pool_t = object_pool<window_t>;
54 window_manager(platform* platform);
57 window_manager(
const window_manager&) =
delete;
75 window_pool_t _windows;
A header containing the definition for a pool of objects associated by ids.