--- a/src/Graphics/Display.hh	Wed Jan 21 23:25:29 2009 +0200
+++ b/src/Graphics/Display.hh	Thu Jan 22 00:02:53 2009 +0200
@@ -92,7 +92,7 @@
     /**
      * Shift back and forth between fullscreen and windowed mode, retaining resolutions
      */
-    void toggle_fullscreen (void);
+    void toggleFullscreen (void);
 
 private:
     /**