--- a/dwt/graphics/Resource.d	Tue Feb 10 17:14:24 2009 +0100
+++ b/dwt/graphics/Resource.d	Wed Feb 18 16:14:31 2009 +0100
@@ -41,6 +41,9 @@
  */
 public abstract class Resource {
 
+    /// DWT extension for D: do no dispose check
+    bool disposeChecking = true;
+
     /**
      * the device where this resource was created
      */
@@ -56,9 +59,9 @@
 }
 
 ~this(){
-    if( !isDisposed ){
+    if( disposeChecking && !isDisposed() ){
         //Trace.formatln("{} {} {} Resource deleted, but is not yet disposed", __FILE__, __LINE__, this.classinfo.name );
-        DWT.error( 0, null, " Resource deleted, but is not yet disposed: (" ~ this.classinfo.name ~ ")" );
+        DWT.error( 0, null, " Resource deleted, but is not yet disposed: (" ~ this.classinfo.name ~ ") " ~ this.toString() );
     }
 }