Widow – Diff between revs 1 and 9

Subversion Repositories:
Rev:
Show entire file – Ignore whitespace
Rev 1 Rev 9
Line 33... Line 33...
33 this.WindowLeft = new System.Windows.Forms.TextBox(); 33 this.WindowLeft = new System.Windows.Forms.TextBox();
34 this.groupBox8 = new System.Windows.Forms.GroupBox(); 34 this.groupBox8 = new System.Windows.Forms.GroupBox();
35 this.refreshButton = new System.Windows.Forms.Button(); 35 this.refreshButton = new System.Windows.Forms.Button();
36 this.desktopWindowsListBox = new System.Windows.Forms.ListBox(); 36 this.desktopWindowsListBox = new System.Windows.Forms.ListBox();
37 this.addButton = new System.Windows.Forms.Button(); 37 this.addButton = new System.Windows.Forms.Button();
-   38 this.ignoreLeftCheckBox = new System.Windows.Forms.CheckBox();
-   39 this.ignoreTopCheckBox = new System.Windows.Forms.CheckBox();
-   40 this.ignoreWidthCheckBox = new System.Windows.Forms.CheckBox();
-   41 this.ignoreHeightCheckBox = new System.Windows.Forms.CheckBox();
38 this.groupBox1.SuspendLayout(); 42 this.groupBox1.SuspendLayout();
39 this.groupBox2.SuspendLayout(); 43 this.groupBox2.SuspendLayout();
40 this.groupBox7.SuspendLayout(); 44 this.groupBox7.SuspendLayout();
41 this.groupBox6.SuspendLayout(); 45 this.groupBox6.SuspendLayout();
42 this.groupBox5.SuspendLayout(); 46 this.groupBox5.SuspendLayout();
Line 82... Line 86...
82 this.groupBox2.Controls.Add(this.groupBox5); 86 this.groupBox2.Controls.Add(this.groupBox5);
83 this.groupBox2.Controls.Add(this.groupBox4); 87 this.groupBox2.Controls.Add(this.groupBox4);
84 this.groupBox2.Controls.Add(this.groupBox3); 88 this.groupBox2.Controls.Add(this.groupBox3);
85 this.groupBox2.Location = new System.Drawing.Point(382, 12); 89 this.groupBox2.Location = new System.Drawing.Point(382, 12);
86 this.groupBox2.Name = "groupBox2"; 90 this.groupBox2.Name = "groupBox2";
87 this.groupBox2.Size = new System.Drawing.Size(127, 302); 91 this.groupBox2.Size = new System.Drawing.Size(190, 302);
88 this.groupBox2.TabIndex = 2; 92 this.groupBox2.TabIndex = 2;
89 this.groupBox2.TabStop = false; 93 this.groupBox2.TabStop = false;
90 this.groupBox2.Text = "Settings"; 94 this.groupBox2.Text = "Settings";
91 // 95 //
92 // groupBox7 96 // groupBox7
Line 107... Line 111...
107 this.WindowName.TabIndex = 0; 111 this.WindowName.TabIndex = 0;
108 this.WindowName.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 112 this.WindowName.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
109 // 113 //
110 // groupBox6 114 // groupBox6
111 // 115 //
-   116 this.groupBox6.Controls.Add(this.ignoreHeightCheckBox);
112 this.groupBox6.Controls.Add(this.WindowHeight); 117 this.groupBox6.Controls.Add(this.WindowHeight);
113 this.groupBox6.Location = new System.Drawing.Point(6, 243); 118 this.groupBox6.Location = new System.Drawing.Point(6, 243);
114 this.groupBox6.Name = "groupBox6"; 119 this.groupBox6.Name = "groupBox6";
115 this.groupBox6.Size = new System.Drawing.Size(114, 50); 120 this.groupBox6.Size = new System.Drawing.Size(178, 50);
116 this.groupBox6.TabIndex = 4; 121 this.groupBox6.TabIndex = 4;
117 this.groupBox6.TabStop = false; 122 this.groupBox6.TabStop = false;
118 this.groupBox6.Text = "Height"; 123 this.groupBox6.Text = "Height";
119 // 124 //
120 // WindowHeight 125 // WindowHeight
Line 125... Line 130...
125 this.WindowHeight.TabIndex = 0; 130 this.WindowHeight.TabIndex = 0;
126 this.WindowHeight.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 131 this.WindowHeight.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
127 // 132 //
128 // groupBox5 133 // groupBox5
129 // 134 //
-   135 this.groupBox5.Controls.Add(this.ignoreWidthCheckBox);
130 this.groupBox5.Controls.Add(this.WindowWidth); 136 this.groupBox5.Controls.Add(this.WindowWidth);
131 this.groupBox5.Location = new System.Drawing.Point(6, 187); 137 this.groupBox5.Location = new System.Drawing.Point(6, 187);
132 this.groupBox5.Name = "groupBox5"; 138 this.groupBox5.Name = "groupBox5";
133 this.groupBox5.Size = new System.Drawing.Size(114, 50); 139 this.groupBox5.Size = new System.Drawing.Size(178, 50);
134 this.groupBox5.TabIndex = 3; 140 this.groupBox5.TabIndex = 3;
135 this.groupBox5.TabStop = false; 141 this.groupBox5.TabStop = false;
136 this.groupBox5.Text = "Width"; 142 this.groupBox5.Text = "Width";
137 // 143 //
138 // WindowWidth 144 // WindowWidth
Line 143... Line 149...
143 this.WindowWidth.TabIndex = 0; 149 this.WindowWidth.TabIndex = 0;
144 this.WindowWidth.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 150 this.WindowWidth.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
145 // 151 //
146 // groupBox4 152 // groupBox4
147 // 153 //
-   154 this.groupBox4.Controls.Add(this.ignoreTopCheckBox);
148 this.groupBox4.Controls.Add(this.WindowTop); 155 this.groupBox4.Controls.Add(this.WindowTop);
149 this.groupBox4.Location = new System.Drawing.Point(6, 131); 156 this.groupBox4.Location = new System.Drawing.Point(6, 131);
150 this.groupBox4.Name = "groupBox4"; 157 this.groupBox4.Name = "groupBox4";
151 this.groupBox4.Size = new System.Drawing.Size(114, 50); 158 this.groupBox4.Size = new System.Drawing.Size(178, 50);
152 this.groupBox4.TabIndex = 2; 159 this.groupBox4.TabIndex = 2;
153 this.groupBox4.TabStop = false; 160 this.groupBox4.TabStop = false;
154 this.groupBox4.Text = "Top"; 161 this.groupBox4.Text = "Top";
155 // 162 //
156 // WindowTop 163 // WindowTop
Line 161... Line 168...
161 this.WindowTop.TabIndex = 0; 168 this.WindowTop.TabIndex = 0;
162 this.WindowTop.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 169 this.WindowTop.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
163 // 170 //
164 // groupBox3 171 // groupBox3
165 // 172 //
-   173 this.groupBox3.Controls.Add(this.ignoreLeftCheckBox);
166 this.groupBox3.Controls.Add(this.WindowLeft); 174 this.groupBox3.Controls.Add(this.WindowLeft);
167 this.groupBox3.Location = new System.Drawing.Point(6, 75); 175 this.groupBox3.Location = new System.Drawing.Point(6, 75);
168 this.groupBox3.Name = "groupBox3"; 176 this.groupBox3.Name = "groupBox3";
169 this.groupBox3.Size = new System.Drawing.Size(114, 50); 177 this.groupBox3.Size = new System.Drawing.Size(178, 50);
170 this.groupBox3.TabIndex = 1; 178 this.groupBox3.TabIndex = 1;
171 this.groupBox3.TabStop = false; 179 this.groupBox3.TabStop = false;
172 this.groupBox3.Text = "Left"; 180 this.groupBox3.Text = "Left";
173 // 181 //
174 // WindowLeft 182 // WindowLeft
Line 217... Line 225...
217 this.addButton.TabIndex = 4; 225 this.addButton.TabIndex = 4;
218 this.addButton.Text = "Add"; 226 this.addButton.Text = "Add";
219 this.addButton.UseVisualStyleBackColor = true; 227 this.addButton.UseVisualStyleBackColor = true;
220 this.addButton.Click += new System.EventHandler(this.AddButton_Click); 228 this.addButton.Click += new System.EventHandler(this.AddButton_Click);
221 // 229 //
-   230 // ignoreLeftCheckBox
-   231 //
-   232 this.ignoreLeftCheckBox.AutoSize = true;
-   233 this.ignoreLeftCheckBox.Location = new System.Drawing.Point(114, 21);
-   234 this.ignoreLeftCheckBox.Name = "ignoreLeftCheckBox";
-   235 this.ignoreLeftCheckBox.Size = new System.Drawing.Size(56, 17);
-   236 this.ignoreLeftCheckBox.TabIndex = 1;
-   237 this.ignoreLeftCheckBox.Text = "Ignore";
-   238 this.ignoreLeftCheckBox.UseVisualStyleBackColor = true;
-   239 this.ignoreLeftCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   240 //
-   241 // ignoreTopCheckBox
-   242 //
-   243 this.ignoreTopCheckBox.AutoSize = true;
-   244 this.ignoreTopCheckBox.Location = new System.Drawing.Point(114, 21);
-   245 this.ignoreTopCheckBox.Name = "ignoreTopCheckBox";
-   246 this.ignoreTopCheckBox.Size = new System.Drawing.Size(56, 17);
-   247 this.ignoreTopCheckBox.TabIndex = 2;
-   248 this.ignoreTopCheckBox.Text = "Ignore";
-   249 this.ignoreTopCheckBox.UseVisualStyleBackColor = true;
-   250 this.ignoreTopCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   251 //
-   252 // ignoreWidthCheckBox
-   253 //
-   254 this.ignoreWidthCheckBox.AutoSize = true;
-   255 this.ignoreWidthCheckBox.Location = new System.Drawing.Point(114, 22);
-   256 this.ignoreWidthCheckBox.Name = "ignoreWidthCheckBox";
-   257 this.ignoreWidthCheckBox.Size = new System.Drawing.Size(56, 17);
-   258 this.ignoreWidthCheckBox.TabIndex = 2;
-   259 this.ignoreWidthCheckBox.Text = "Ignore";
-   260 this.ignoreWidthCheckBox.UseVisualStyleBackColor = true;
-   261 this.ignoreWidthCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   262 //
-   263 // ignoreHeightCheckBox
-   264 //
-   265 this.ignoreHeightCheckBox.AutoSize = true;
-   266 this.ignoreHeightCheckBox.Location = new System.Drawing.Point(114, 21);
-   267 this.ignoreHeightCheckBox.Name = "ignoreHeightCheckBox";
-   268 this.ignoreHeightCheckBox.Size = new System.Drawing.Size(56, 17);
-   269 this.ignoreHeightCheckBox.TabIndex = 2;
-   270 this.ignoreHeightCheckBox.Text = "Ignore";
-   271 this.ignoreHeightCheckBox.UseVisualStyleBackColor = true;
-   272 this.ignoreHeightCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   273 //
222 // RuleEditForm 274 // RuleEditForm
223 // 275 //
224 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); 276 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
225 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; 277 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
226 this.ClientSize = new System.Drawing.Size(524, 362); 278 this.ClientSize = new System.Drawing.Size(584, 362);
227 this.Controls.Add(this.groupBox8); 279 this.Controls.Add(this.groupBox8);
228 this.Controls.Add(this.groupBox2); 280 this.Controls.Add(this.groupBox2);
229 this.Controls.Add(this.groupBox1); 281 this.Controls.Add(this.groupBox1);
230 this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); 282 this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
231 this.MaximumSize = new System.Drawing.Size(540, 400); 283 this.MaximumSize = new System.Drawing.Size(600, 400);
232 this.MinimumSize = new System.Drawing.Size(540, 400); 284 this.MinimumSize = new System.Drawing.Size(600, 400);
233 this.Name = "RuleEditForm"; 285 this.Name = "RuleEditForm";
234 this.Text = "Rule Editor"; 286 this.Text = "Rule Editor";
235 this.groupBox1.ResumeLayout(false); 287 this.groupBox1.ResumeLayout(false);
236 this.groupBox2.ResumeLayout(false); 288 this.groupBox2.ResumeLayout(false);
237 this.groupBox7.ResumeLayout(false); 289 this.groupBox7.ResumeLayout(false);
Line 267... Line 319...
267 private System.Windows.Forms.GroupBox groupBox8; 319 private System.Windows.Forms.GroupBox groupBox8;
268 private System.Windows.Forms.ListBox desktopWindowsListBox; 320 private System.Windows.Forms.ListBox desktopWindowsListBox;
269 private System.Windows.Forms.Button addButton; 321 private System.Windows.Forms.Button addButton;
270 private System.Windows.Forms.Button removeButton; 322 private System.Windows.Forms.Button removeButton;
271 private System.Windows.Forms.Button refreshButton; 323 private System.Windows.Forms.Button refreshButton;
-   324 private System.Windows.Forms.CheckBox ignoreHeightCheckBox;
-   325 private System.Windows.Forms.CheckBox ignoreWidthCheckBox;
-   326 private System.Windows.Forms.CheckBox ignoreTopCheckBox;
-   327 private System.Windows.Forms.CheckBox ignoreLeftCheckBox;
272 } 328 }
273 } 329 }
274   330