--- a/src/Graphics/Display.cc	Wed Jan 21 23:25:29 2009 +0200
+++ b/src/Graphics/Display.cc	Thu Jan 22 00:02:53 2009 +0200
@@ -60,7 +60,7 @@
         view->resize(PixelArea(0, 0, get_width(), get_height()));
 }
 
-void Display::toggle_fullscreen (void) {
+void Display::toggleFullscreen (void) {
     if (is_fullscreen()) {
         // enter windowed mode
         set_windowed();