← Back to branch summary

~alexlauni/do/color-config

« back to all changes in this revision

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

  • Committer: Alex Launi
  • Date: 2009-01-18 06:34:49 UTC
  • mfrom: (867.1.3 trunk)
  • Revision ID: alex.launi@gmail.com-20090118063449-02zmx9qprmqrgc3t
merge trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
Do/gtk-gui/Do.UI.PluginConfigurationWindow.cs
38
38
            this.WindowPosition = ((Gtk.WindowPosition)(1));
39
39
            this.BorderWidth = ((uint)(6));
40
40
            this.DefaultWidth = 400;
41
 
            this.DefaultHeight = 450;
 
41
            this.DefaultHeight = 400;
42
42
            // Container child Do.UI.PluginConfigurationWindow.Gtk.Container+ContainerChild
43
43
            this.vbox2 = new Gtk.VBox();
44
44
            this.vbox2.Name = "vbox2";