1.1 --- a/GUI/Gadget.cs	Tue Sep 07 18:51:42 2010 +0000
     1.2 +++ b/GUI/Gadget.cs	Tue Sep 07 22:15:02 2010 +0000
     1.3 @@ -54,9 +54,8 @@
     1.4        CreateBuffer();
     1.5      }
     1.6  
     1.7 -    public void Dispose() {
     1.8 -      this.graphics.Dispose();
     1.9 -      this.buffer.Dispose();
    1.10 +    public virtual void Dispose() {
    1.11 +      DisposeBuffer();
    1.12      }
    1.13  
    1.14      public Point Location {