--- a/dwt/widgets/Display.d	Sun Jan 27 16:20:03 2008 +0100
+++ b/dwt/widgets/Display.d	Thu Jan 31 19:04:56 2008 +0100
@@ -1398,7 +1398,7 @@
  *    <li>ERROR_DEVICE_DISPOSED - if the receiver has been disposed</li>
  * </ul>
  */
-public Rectangle getBounds () {
+public override Rectangle getBounds () {
     checkDevice ();
     return new Rectangle (0, 0, OS.gdk_screen_width (), OS.gdk_screen_height ());
 }
@@ -1623,7 +1623,7 @@
  *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
  * </ul>
  */
-public Point getDPI () {
+public override Point getDPI () {
     checkDevice ();
     int widthMM = OS.gdk_screen_width_mm ();
     int width = OS.gdk_screen_width ();
@@ -1762,7 +1762,7 @@
     return false;
 }
 
-public int getDepth () {
+public override int getDepth () {
     checkDevice ();
     auto visual = OS.gdk_visual_get_system();
     return visual.depth;
@@ -1997,7 +1997,7 @@
  *
  * @see DWT
  */
-public Color getSystemColor (int id) {
+public override Color getSystemColor (int id) {
     checkDevice ();
     GdkColor* gdkColor = null;
     switch (id) {
@@ -2230,7 +2230,7 @@
  *    <li>ERROR_DEVICE_DISPOSED - if the receiver has been disposed</li>
  * </ul>
  */
-public Font getSystemFont () {
+public override Font getSystemFont () {
     checkDevice ();
     if (systemFont !is null) return systemFont;
     auto style = OS.gtk_widget_get_style (shellHandle);
@@ -2497,7 +2497,7 @@
  * @param hDC the platform specific GC handle
  * @param data the platform specific GC data
  */
-public void internal_dispose_GC (GdkGC* gdkGC, GCData data) {
+public override void internal_dispose_GC (GdkGC* gdkGC, GCData data) {
     OS.g_object_unref (gdkGC);
 }
 
@@ -2521,7 +2521,7 @@
  *    <li>ERROR_NO_HANDLES if a handle could not be obtained for gc creation</li>
  * </ul>
  */
-public GdkGC* internal_new_GC (GCData data) {
+public override GdkGC* internal_new_GC (GCData data) {
     if (isDisposed()) DWT.error(DWT.ERROR_DEVICE_DISPOSED);
     auto root = cast(GdkDrawable *) OS.GDK_ROOT_PARENT ();
     auto gdkGC = OS.gdk_gc_new (root);