← Back to branch summary

~do-plugins/do-plugins/future

« back to all changes in this revision

Viewing changes to File/gtk-gui/FilePlugin.Configuration.cs

  • Committer: David Siegel
  • Date: 2008-12-23 22:55:20 UTC
  • Revision ID: david@david-desktop-20081223225520-fqdedh21xtm635wl
Update File plugin (had to replace files, merge was very difficult).

Show diffs side-by-side

added added

removed removed

Lines of Context:
File/gtk-gui/FilePlugin.Configuration.cs
112
112
            this.vbox3.Name = "vbox3";
113
113
            this.vbox3.Spacing = 6;
114
114
            // Container child vbox3.Gtk.Box+BoxChild
115
 
            this.table2 = new Gtk.Table(((uint)(1)), ((uint)(3)), false);
 
115
            this.table2 = new Gtk.Table(((uint)(3)), ((uint)(3)), false);
116
116
            this.table2.Name = "table2";
117
117
            this.table2.RowSpacing = ((uint)(6));
118
118
            this.table2.ColumnSpacing = ((uint)(6));