1.1 --- a/GUI/Gadget.cs	Sun May 15 21:43:40 2011 +0000
     1.2 +++ b/GUI/Gadget.cs	Mon May 16 22:04:04 2011 +0000
     1.3 @@ -176,12 +176,16 @@
     1.4        set {
     1.5          if (value != window.Visible) {
     1.6            window.Visible = value;
     1.7 +          if (VisibleChanged != null)
     1.8 +            VisibleChanged(this, EventArgs.Empty);
     1.9            if (value)
    1.10              Redraw();          
    1.11          }
    1.12        }
    1.13      }
    1.14  
    1.15 +    public event EventHandler VisibleChanged;
    1.16 +
    1.17      public void Redraw() {
    1.18        if (!window.Visible)
    1.19          return;