~Window();
const Rect &get_rect() const;
+ bool contains_point(int ptr_x, int ptr_y);
void move(int x, int y);
void resize(int x, int y);
void set_mouse_button_callback(MouseButtonFuncType func);
void set_mouse_motion_callback(MouseMotionFuncType func);
+ const DisplayFuncType get_display_callback() const;
+ const KeyboardFuncType get_keyboard_callback() const;
+ const MouseButtonFuncType get_mouse_button_callback() const;
+ const MouseMotionFuncType get_mouse_motion_callback() const;
+
// XXX remove if not needed
friend class WindowManager;
};