--- a/dwt/widgets/Menu.d	Sun Feb 03 15:48:14 2008 -0800
+++ b/dwt/widgets/Menu.d	Mon Feb 04 10:05:20 2008 +0100
@@ -603,7 +603,7 @@
     redraw ();
 }
 
-void destroyWidget () {
+override void destroyWidget () {
     int hMenu = handle, hCB = hwndCB;
     releaseHandle ();
     if (OS.IsWinCE && hCB !is 0) {
@@ -897,7 +897,7 @@
     return OS.GetMenuItemCount (handle);
 }
 
-String getNameText () {
+override String getNameText () {
     String result = "";
     MenuItem [] items = getItems ();
     int length = items.length;
@@ -1131,12 +1131,12 @@
     }
 }
 
-void releaseHandle () {
+override void releaseHandle () {
     super.releaseHandle ();
     handle = hwndCB = 0;
 }
 
-void releaseChildren (bool destroy) {
+override void releaseChildren (bool destroy) {
     MenuItem [] items = getItems ();
     for (int i=0; i<items.length; i++) {
         MenuItem item = items [i];
@@ -1151,7 +1151,7 @@
     super.releaseChildren (destroy);
 }
 
-void releaseParent () {
+override void releaseParent () {
     super.releaseParent ();
     if (cascade !is null) cascade.releaseMenu ();
     if ((style & DWT.BAR) !is 0) {
@@ -1166,7 +1166,7 @@
     }
 }
 
-void releaseWidget () {
+override void releaseWidget () {
     super.releaseWidget ();
     backgroundImage = null;
     if (hBrush is 0) OS.DeleteObject (hBrush);