--- a/dwt/widgets/Scrollable.d	Sat Jan 12 01:53:16 2008 +0100
+++ b/dwt/widgets/Scrollable.d	Sat Jan 12 07:02:08 2008 +0100
@@ -152,13 +152,13 @@
 	return bar;
 }
 
-void createWidget (int index) {
+override void createWidget (int index) {
 	super.createWidget (index);
 	if ((style & SWT.H_SCROLL) !is 0) horizontalBar = createScrollBar (SWT.H_SCROLL);
 	if ((style & SWT.V_SCROLL) !is 0) verticalBar = createScrollBar (SWT.V_SCROLL);
 }
 
-void deregister () {
+override void deregister () {
 	super.deregister ();
 	if (scrolledHandle !is null) display.removeWidget (cast(GtkWidget*)scrolledHandle);
 }
@@ -231,7 +231,7 @@
 	return verticalBar;
 }
 
-int /*long*/ gtk_scroll_event (GtkWidget* widget, GdkEventScroll* eventPtr) {
+override int /*long*/ gtk_scroll_event (GtkWidget* widget, GdkEventScroll* eventPtr) {
 	auto result = super.gtk_scroll_event (widget, eventPtr);
 
 	/*
@@ -274,11 +274,11 @@
 	return requisition.height + spacing;
 }
 
-bool sendLeaveNotify () {
+override bool sendLeaveNotify () {
 	return scrolledHandle !is null;
 }
 
-void setOrientation () {
+override void setOrientation () {
 	super.setOrientation ();
 	if ((style & SWT.RIGHT_TO_LEFT) !is 0) {
 		if (scrolledHandle !is null) {
@@ -308,7 +308,7 @@
 void redrawBackgroundImage () {
 }
 
-void redrawWidget (int x, int y, int width, int height, bool redrawAll, bool all, bool trim) {
+override void redrawWidget (int x, int y, int width, int height, bool redrawAll, bool all, bool trim) {
 	super.redrawWidget (x, y, width, height, redrawAll, all, trim);
 	if ((OS.GTK_WIDGET_FLAGS (handle) & OS.GTK_REALIZED) is 0) return;
 	if (!trim) return;
@@ -330,17 +330,17 @@
 	OS.gdk_window_invalidate_rect (window, rect, all);
 }
 
-void register () {
+override void register () {
 	super.register ();
 	if (scrolledHandle !is null) display.addWidget (cast(GtkWidget*)scrolledHandle, this);
 }
 
-void releaseHandle () {
+override void releaseHandle () {
 	super.releaseHandle ();
 	scrolledHandle = null;
 }
 
-void releaseChildren (bool destroy) {
+override void releaseChildren (bool destroy) {
 	if (horizontalBar !is null) {
 		horizontalBar.release (false);
 		horizontalBar = null;
@@ -352,17 +352,17 @@
 	super.releaseChildren (destroy);
 }
 
-void resizeHandle (int width, int height) {
+override void resizeHandle (int width, int height) {
 	if (fixedHandle !is null) OS.gtk_widget_set_size_request (cast(GtkWidget*)fixedHandle, width, height);
 	OS.gtk_widget_set_size_request (scrolledHandle !is null ? cast(GtkWidget*)scrolledHandle : handle, width, height);
 }
 
-void showWidget () {
+override void showWidget () {
 	super.showWidget ();
 	if (scrolledHandle !is null) OS.gtk_widget_show (cast(GtkWidget*)scrolledHandle);
 }
 
-GtkWidget* topHandle () {
+override GtkWidget* topHandle () {
 	if (fixedHandle !is null) return fixedHandle;
 	if (scrolledHandle !is null) return scrolledHandle;
 	return super.topHandle ();