← Back to branch summary

~and471/+junk/do-with-docky

« back to all changes in this revision

Viewing changes to Do/gtk-gui/Do.UI.ManagePluginsPreferencesWidget.cs

  • Committer: rugby471 at gmail
  • Date: 2010-10-15 16:08:38 UTC
  • Revision ID: rugby471@gmail.com-20101015160838-z9m3utbf7bxzb5ty
reverted to before docky removal

Show diffs side-by-side

added added

removed removed

Lines of Context:
Do/gtk-gui/Do.UI.ManagePluginsPreferencesWidget.cs
122
122
            w9.Spacing = 2;
123
123
            // Container child GtkHBox.Gtk.Container+ContainerChild
124
124
            Gtk.Image w10 = new Gtk.Image();
125
 
            w10.Pixbuf = Stetic.IconLoader.LoadIcon(this, "gtk-preferences", Gtk.IconSize.Button, 16);
 
125
            w10.Pixbuf = Stetic.IconLoader.LoadIcon(this, "gtk-preferences", Gtk.IconSize.Button, 20);
126
126
            w9.Add(w10);
127
127
            // Container child GtkHBox.Gtk.Container+ContainerChild
128
128
            Gtk.Label w12 = new Gtk.Label();