equal
deleted
inserted
replaced
58 // resize to fill display |
58 // resize to fill display |
59 if (view) |
59 if (view) |
60 view->resize(PixelArea(0, 0, get_width(), get_height())); |
60 view->resize(PixelArea(0, 0, get_width(), get_height())); |
61 } |
61 } |
62 |
62 |
63 void Display::toggle_fullscreen (void) { |
63 void Display::toggleFullscreen (void) { |
64 if (is_fullscreen()) { |
64 if (is_fullscreen()) { |
65 // enter windowed mode |
65 // enter windowed mode |
66 set_windowed(); |
66 set_windowed(); |
67 |
67 |
68 } else { |
68 } else { |