+
+ platform_reconfigure(fullscreen_changed);
+}
+
+void Window::set_fullscreen_mode()
+{
+ VideoMode mode(options.width, options.height);
+ mode.rotation = display.get_desktop_mode().monitor->desktop_rotation;
+ if(mode.rotation==ROTATE_LEFT || mode.rotation==ROTATE_RIGHT)
+ swap(mode.width, mode.height);
+ display.set_mode(mode, true);