--- a/mde/gui/WidgetManager.d	Fri Dec 19 10:32:28 2008 +0000
+++ b/mde/gui/WidgetManager.d	Fri Dec 19 15:15:06 2008 +0000
@@ -253,7 +253,7 @@
 protected:
     /* Second stage of widget loading.
      * Note: sizeEvent should be called with window size before this. */
-    void createRootWidget () {
+    final override void createRootWidget () {
         // The renderer needs to be created on the first load, but not after this.
         if (rend is null)
             rend = createRenderer (rendName);
@@ -273,7 +273,7 @@
         child.setPosition (0,0);
     }
     
-    void preSave () {
+    final override void preSave () {
 	if (keyFocus) {
 	    keyFocus.keyFocusLost;
 	    keyFocus = null;
@@ -519,22 +519,22 @@
     
 public:
     //BEGIN IWidgetManager methods
-    IChildWidget makeWidget (widgetID id, IContent content = null) {
+    override IChildWidget makeWidget (widgetID id, IContent content = null) {
         debug (mdeWidgets) logger.trace ("Creating widget \""~id~'"');
         return createWidget (this, id, curData[id], content);
     }
-    IChildWidget makeWidget (widgetID id, WidgetData data, IContent content = null) {
+    override IChildWidget makeWidget (widgetID id, WidgetData data, IContent content = null) {
 	debug (mdeWidgets) logger.trace ("Creating widget \""~id~'"');
 	return createWidget (this, id, data, content);
     }
     
-    wdims dimData (widgetID id) {
+    override wdims dimData (widgetID id) {
         return curData.dims (id);
     }
-    void setData (widgetID id, WidgetData d) {
+    override void setData (widgetID id, WidgetData d) {
         changes[id] = d;        // also updates WidgetDataSet in data.
     }
-    void setDimData (widgetID id, wdims d) {
+    override void setDimData (widgetID id, wdims d) {
         changes.setDims(id, d);    // also updates WidgetDataSet in data.
     }
     //END IWidgetManager methods