+
+ // draw mouse cursor
+ int mouse_x, mouse_y;
+ get_pointer_pos(&mouse_x, &mouse_y);
+
+ blit_key(mouse_cursor.get_image(), mouse_cursor.get_rect(),
+ get_framebuffer(), get_screen_size(), mouse_x, mouse_y,
+ 0, 0, 0);
+
+ Rect mouse_rect = {mouse_x, mouse_y, mouse_cursor.get_width(), mouse_cursor.get_height()};
+ invalidate_region(mouse_rect);