Add Window::warp_pointer (No win32 support for now)

[libs/gui.git] / source / gbase / window.h

diff --git a/source/gbase/window.h b/source/gbase/window.h
index 53c2d958fbf9eeebf094e34476f70aa88acc3190..c48adc5fe3ff81b39ace83eb8402e0b3aa9d1e89 100644 (file)
--- a/source/gbase/window.h
+++ b/source/gbase/window.h
@@ -53,6 +53,7 @@ public:
        void set_title(const std::string &);
        void reconfigure(const WindowOptions &);
        void show_cursor(bool);
+       void warp_pointer(int, int);
 
        Display &get_display() const { return display; }
        const WindowOptions &get_options() const { return options; }