← Back to branch summary

~bratsche/ubuntu/maverick/monodevelop/disable-appmenu

« back to all changes in this revision

Viewing changes to src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs

  • Committer: Bazaar Package Importer
  • Author(s): Stefan Ebner
  • Date: 2009-03-17 17:55:55 UTC
  • mfrom: (1.1.13 sid)
  • Revision ID: james.westby@ubuntu.com-20090317175555-2w5qbmu0l5maq6fq
Tags: 1.9.3+dfsg-1ubuntu1
* FFe for Monodevelop 2 granted by motu-release team :)
* Merge from Debian Unstable , remaining Ubuntu changes:
  + debian/control:
    - Update for Gnome# 2.24

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/core/MonoDevelop.Ide/gtk-gui/MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.cs
29
29
        
30
30
        private Gtk.VBox vbox1;
31
31
        
32
 
        private Gtk.CheckButton extensionButton;
33
 
        
34
32
        private Gtk.CheckButton hiddenButton;
35
33
        
36
34
        private Gtk.Label GtkLabel7;
112
110
            this.vbox1.Name = "vbox1";
113
111
            this.vbox1.Spacing = 6;
114
112
            // Container child vbox1.Gtk.Box+BoxChild
115
 
            this.extensionButton = new Gtk.CheckButton();
116
 
            this.extensionButton.Name = "extensionButton";
117
 
            this.extensionButton.Label = Mono.Unix.Catalog.GetString("_Show extensions");
118
 
            this.extensionButton.DrawIndicator = true;
119
 
            this.extensionButton.UseUnderline = true;
120
 
            this.vbox1.Add(this.extensionButton);
121
 
            Gtk.Box.BoxChild w5 = ((Gtk.Box.BoxChild)(this.vbox1[this.extensionButton]));
122
 
            w5.Position = 0;
123
 
            w5.Expand = false;
124
 
            w5.Fill = false;
125
 
            // Container child vbox1.Gtk.Box+BoxChild
126
113
            this.hiddenButton = new Gtk.CheckButton();
127
114
            this.hiddenButton.Name = "hiddenButton";
128
115
            this.hiddenButton.Label = Mono.Unix.Catalog.GetString("S_how hidden files and directories");
129
116
            this.hiddenButton.DrawIndicator = true;
130
117
            this.hiddenButton.UseUnderline = true;
131
118
            this.vbox1.Add(this.hiddenButton);
132
 
            Gtk.Box.BoxChild w6 = ((Gtk.Box.BoxChild)(this.vbox1[this.hiddenButton]));
133
 
            w6.Position = 1;
134
 
            w6.Expand = false;
135
 
            w6.Fill = false;
 
119
            Gtk.Box.BoxChild w5 = ((Gtk.Box.BoxChild)(this.vbox1[this.hiddenButton]));
 
120
            w5.Position = 0;
 
121
            w5.Expand = false;
 
122
            w5.Fill = false;
136
123
            this.GtkAlignment.Add(this.vbox1);
137
124
            this.frame1.Add(this.GtkAlignment);
138
125
            this.GtkLabel7 = new Gtk.Label();
139
126
            this.GtkLabel7.Name = "GtkLabel7";
140
 
            this.GtkLabel7.LabelProp = Mono.Unix.Catalog.GetString("<b>Project Browser</b>");
 
127
            this.GtkLabel7.LabelProp = Mono.Unix.Catalog.GetString("<b>File Scout</b>");
141
128
            this.GtkLabel7.UseMarkup = true;
142
129
            this.frame1.LabelWidget = this.GtkLabel7;
143
130
            this.vbox13.Add(this.frame1);
144
 
            Gtk.Box.BoxChild w9 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame1]));
145
 
            w9.Position = 2;
146
 
            w9.Expand = false;
147
 
            w9.Fill = false;
 
131
            Gtk.Box.BoxChild w8 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame1]));
 
132
            w8.Position = 2;
 
133
            w8.Expand = false;
 
134
            w8.Fill = false;
148
135
            // Container child vbox13.Gtk.Box+BoxChild
149
136
            this.frame2 = new Gtk.Frame();
150
137
            this.frame2.Name = "frame2";
165
152
            this.fontCheckbox.DrawIndicator = true;
166
153
            this.fontCheckbox.UseUnderline = true;
167
154
            this.hbox2.Add(this.fontCheckbox);
168
 
            Gtk.Box.BoxChild w10 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontCheckbox]));
169
 
            w10.Position = 0;
170
 
            w10.Expand = false;
 
155
            Gtk.Box.BoxChild w9 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontCheckbox]));
 
156
            w9.Position = 0;
 
157
            w9.Expand = false;
171
158
            // Container child hbox2.Gtk.Box+BoxChild
172
159
            this.fontButton = new Gtk.FontButton();
173
160
            this.fontButton.Name = "fontButton";
174
161
            this.hbox2.Add(this.fontButton);
175
 
            Gtk.Box.BoxChild w11 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontButton]));
176
 
            w11.Position = 1;
177
 
            w11.Expand = false;
178
 
            w11.Fill = false;
 
162
            Gtk.Box.BoxChild w10 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontButton]));
 
163
            w10.Position = 1;
 
164
            w10.Expand = false;
 
165
            w10.Fill = false;
179
166
            this.GtkAlignment1.Add(this.hbox2);
180
167
            this.frame2.Add(this.GtkAlignment1);
181
168
            this.GtkLabel6 = new Gtk.Label();
184
171
            this.GtkLabel6.UseMarkup = true;
185
172
            this.frame2.LabelWidget = this.GtkLabel6;
186
173
            this.vbox13.Add(this.frame2);
187
 
            Gtk.Box.BoxChild w14 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame2]));
188
 
            w14.Position = 3;
189
 
            w14.Expand = false;
190
 
            w14.Fill = false;
 
174
            Gtk.Box.BoxChild w13 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame2]));
 
175
            w13.Position = 3;
 
176
            w13.Expand = false;
 
177
            w13.Fill = false;
191
178
            this.Add(this.vbox13);
192
179
            if ((this.Child != null)) {
193
180
                this.Child.ShowAll();