--- a/dwt/widgets/ProgressBar.d	Thu Jan 31 20:26:30 2008 +0100
+++ b/dwt/widgets/ProgressBar.d	Thu Jan 31 23:19:20 2008 +0100
@@ -1,4 +1,4 @@
-/*******************************************************************************
+/*******************************************************************************
  * Copyright (c) 2000, 2007 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -85,7 +85,7 @@
     return checkBits (style, DWT.HORIZONTAL, DWT.VERTICAL, 0, 0, 0, 0);
 }
 
-void createHandle (int index) {
+override void createHandle (int index) {
     state |= HANDLE;
     fixedHandle = cast(GtkWidget*)OS.g_object_new (display.gtk_fixed_get_type (), null);
     if (fixedHandle is null) error (DWT.ERROR_NO_HANDLES);
@@ -158,13 +158,13 @@
     return 0;
 }
 
-void releaseWidget () {
+override void releaseWidget () {
     super.releaseWidget ();
     if (timerId !is 0) OS.gtk_timeout_remove (timerId);
     timerId = 0;
 }
 
-void setParentBackground () {
+override void setParentBackground () {
     /*
     * Bug in GTK.  For some reason, some theme managers will crash
     * when the progress bar is inheriting the background from a parent.
@@ -233,7 +233,7 @@
     updateBar (selection, minimum, maximum);
 }
 
-int /*long*/ timerProc (int /*long*/ widget) {
+override int /*long*/ timerProc (GtkWidget* widget) {
     if (isVisible ()) OS.gtk_progress_bar_pulse (handle);
     return 1;
 }