197     void set_attr(Uint32 value) { _attr = value; };

   197     void set_attr(Uint32 value) { _attr = value; };

   198 

   198 

   199     void show_cursor(int x, int y) { _cursor_x = x; _cursor_y = y; _cursor_visible = true; };

   199     void show_cursor(int x, int y) { _cursor_x = x; _cursor_y = y; _cursor_visible = true; };

   200     void hide_cursor() { _cursor_visible = false; };

   200     void hide_cursor() { _cursor_visible = false; };

   201 

   201 

   203 

   208 

   204     int get_width() const { return _screen.get_width(); };

   209     int get_width() const { return _screen.get_width(); };

   205     int get_height() const { return _screen.get_height(); };

   210     int get_height() const { return _screen.get_height(); };

   206 

   211 

   207 private:

   212 private:

   213 

   218 

   214     int _mousemove_last_x;

   219     int _mousemove_last_x;

   215     int _mousemove_last_y;

   220     int _mousemove_last_y;

   216 

   221 

   217     const char *_translate_keyname(SDLKey sym);

   222     const char *_translate_keyname(SDLKey sym);