Ignore:
Timestamp:
Oct 7, 2008, 12:14:10 AM (12 years ago)
Author:
Sam Hocevar
Message:

ThePimp?: deactivate toolbox for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libpipi/trunk/ThePimp/gtk-gui/ThePimp.ToolBox.cs

    r2890 r2891  
    5959            // Container child ThePimp.ToolBox.Gtk.Container+ContainerChild
    6060            this.vbox2 = new Gtk.VBox();
     61            this.vbox2.Sensitive = false;
    6162            this.vbox2.Name = "vbox2";
    6263            // Container child vbox2.Gtk.Box+BoxChild
Note: See TracChangeset for help on using the changeset viewer.