--- a/dwtx/core/commands/operations/TriggeredOperations.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/core/commands/operations/TriggeredOperations.d	Fri Apr 11 01:24:25 2008 +0200
@@ -127,7 +127,7 @@
      * @param context
      *            the undo context being removed from the receiver.
      */
-    public void removeContext(IUndoContext context) {
+    public override void removeContext(IUndoContext context) {
 
         bool recompute = false;
         // first check to see if we are removing the only context of the
@@ -168,7 +168,7 @@
      * @see dwtx.core.commands.operations.IUndoableOperation#execute(dwtx.core.runtime.IProgressMonitor,
      *      dwtx.core.runtime.IAdaptable)
      */
-    public IStatus execute(IProgressMonitor monitor, IAdaptable info) {
+    public override IStatus execute(IProgressMonitor monitor, IAdaptable info) {
         if (triggeringOperation !is null) {
             history.openOperation(this, IOperationHistory.EXECUTE);
             try {
@@ -194,7 +194,7 @@
      * @see dwtx.core.commands.operations.IUndoableOperation#redo(dwtx.core.runtime.IProgressMonitor,
      *      dwtx.core.runtime.IAdaptable)
      */
-    public IStatus redo(IProgressMonitor monitor, IAdaptable info) {
+    public override IStatus redo(IProgressMonitor monitor, IAdaptable info) {
         if (triggeringOperation !is null) {
             history.openOperation(this, IOperationHistory.REDO);
             Seq!(IUndoableOperation) childrenToRestore = children.dup;
@@ -226,7 +226,7 @@
      * @see dwtx.core.commands.operations.IUndoableOperation#undo(dwtx.core.runtime.IProgressMonitor,
      *      dwtx.core.runtime.IAdaptable)
      */
-    public IStatus undo(IProgressMonitor monitor, IAdaptable info) {
+    public override IStatus undo(IProgressMonitor monitor, IAdaptable info) {
         if (triggeringOperation !is null) {
             history.openOperation(this, IOperationHistory.UNDO);
             auto childrenToRestore = children.dup;
@@ -257,7 +257,7 @@
      *
      * @see dwtx.core.commands.operations.IUndoableOperation#canUndo()
      */
-    public bool canUndo() {
+    public override bool canUndo() {
         if (triggeringOperation !is null) {
             return triggeringOperation.canUndo();
         }
@@ -269,7 +269,7 @@
      *
      * @see dwtx.core.commands.operations.IUndoableOperation#canExecute()
      */
-    public bool canExecute() {
+    public override bool canExecute() {
         if (triggeringOperation !is null) {
             return triggeringOperation.canExecute();
         }
@@ -281,7 +281,7 @@
      *
      * @see dwtx.core.commands.operations.IUndoableOperation#canRedo()
      */
-    public bool canRedo() {
+    public override bool canRedo() {
         if (triggeringOperation !is null) {
             return triggeringOperation.canRedo();
         }
@@ -291,7 +291,7 @@
     /*
      * Dispose all operations in the receiver.
      */
-    public void dispose() {
+    public override void dispose() {
         for (int i = 0; i < children.size(); i++) {
             children.get(i).dispose();
         }
@@ -455,7 +455,7 @@
      *
      * @since 3.2
      */
-    public void addContext(IUndoContext context) {
+    public override void addContext(IUndoContext context) {
         if (triggeringOperation !is null) {
             triggeringOperation.addContext(context);
             recomputeContexts();