Widow – Diff between revs 9 and 11

Subversion Repositories:
Rev:
Show entire fileIgnore whitespace
Rev 9 Rev 11
Line 20... Line 20...
20 this.windowRulesListBox = new System.Windows.Forms.ListBox(); 20 this.windowRulesListBox = new System.Windows.Forms.ListBox();
21 this.groupBox1 = new System.Windows.Forms.GroupBox(); 21 this.groupBox1 = new System.Windows.Forms.GroupBox();
22 this.removeButton = new System.Windows.Forms.Button(); 22 this.removeButton = new System.Windows.Forms.Button();
23 this.groupBox2 = new System.Windows.Forms.GroupBox(); 23 this.groupBox2 = new System.Windows.Forms.GroupBox();
24 this.groupBox7 = new System.Windows.Forms.GroupBox(); 24 this.groupBox7 = new System.Windows.Forms.GroupBox();
25 this.WindowName = new System.Windows.Forms.TextBox(); 25 this.WindowTitle = new System.Windows.Forms.TextBox();
26 this.groupBox6 = new System.Windows.Forms.GroupBox(); 26 this.groupBox6 = new System.Windows.Forms.GroupBox();
-   27 this.ignoreHeightCheckBox = new System.Windows.Forms.CheckBox();
27 this.WindowHeight = new System.Windows.Forms.TextBox(); 28 this.WindowHeight = new System.Windows.Forms.TextBox();
28 this.groupBox5 = new System.Windows.Forms.GroupBox(); 29 this.groupBox5 = new System.Windows.Forms.GroupBox();
-   30 this.ignoreWidthCheckBox = new System.Windows.Forms.CheckBox();
29 this.WindowWidth = new System.Windows.Forms.TextBox(); 31 this.WindowWidth = new System.Windows.Forms.TextBox();
30 this.groupBox4 = new System.Windows.Forms.GroupBox(); 32 this.groupBox4 = new System.Windows.Forms.GroupBox();
-   33 this.ignoreTopCheckBox = new System.Windows.Forms.CheckBox();
31 this.WindowTop = new System.Windows.Forms.TextBox(); 34 this.WindowTop = new System.Windows.Forms.TextBox();
32 this.groupBox3 = new System.Windows.Forms.GroupBox(); 35 this.groupBox3 = new System.Windows.Forms.GroupBox();
-   36 this.ignoreLeftCheckBox = new System.Windows.Forms.CheckBox();
33 this.WindowLeft = new System.Windows.Forms.TextBox(); 37 this.WindowLeft = new System.Windows.Forms.TextBox();
34 this.groupBox8 = new System.Windows.Forms.GroupBox(); 38 this.groupBox8 = new System.Windows.Forms.GroupBox();
35 this.refreshButton = new System.Windows.Forms.Button(); 39 this.refreshButton = new System.Windows.Forms.Button();
36 this.desktopWindowsListBox = new System.Windows.Forms.ListBox(); 40 this.desktopWindowsListBox = new System.Windows.Forms.ListBox();
37 this.addButton = new System.Windows.Forms.Button(); 41 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(); -  
42 this.groupBox1.SuspendLayout(); 42 this.groupBox1.SuspendLayout();
43 this.groupBox2.SuspendLayout(); 43 this.groupBox2.SuspendLayout();
44 this.groupBox7.SuspendLayout(); 44 this.groupBox7.SuspendLayout();
45 this.groupBox6.SuspendLayout(); 45 this.groupBox6.SuspendLayout();
46 this.groupBox5.SuspendLayout(); 46 this.groupBox5.SuspendLayout();
Line 53... Line 53...
53 // 53 //
54 this.windowRulesListBox.FormattingEnabled = true; 54 this.windowRulesListBox.FormattingEnabled = true;
55 this.windowRulesListBox.Location = new System.Drawing.Point(6, 19); 55 this.windowRulesListBox.Location = new System.Drawing.Point(6, 19);
56 this.windowRulesListBox.Name = "windowRulesListBox"; 56 this.windowRulesListBox.Name = "windowRulesListBox";
57 this.windowRulesListBox.Size = new System.Drawing.Size(167, 277); 57 this.windowRulesListBox.Size = new System.Drawing.Size(167, 277);
-   58 this.windowRulesListBox.Sorted = true;
58 this.windowRulesListBox.TabIndex = 0; 59 this.windowRulesListBox.TabIndex = 0;
59 this.windowRulesListBox.SelectedIndexChanged += new System.EventHandler(this.WindowRulesListBox_SelectedIndexChanged); 60 this.windowRulesListBox.SelectedIndexChanged += new System.EventHandler(this.WindowRulesListBox_SelectedIndexChanged);
60 // 61 //
61 // groupBox1 62 // groupBox1
62 // 63 //
Line 93... Line 94...
93 this.groupBox2.TabStop = false; 94 this.groupBox2.TabStop = false;
94 this.groupBox2.Text = "Settings"; 95 this.groupBox2.Text = "Settings";
95 // 96 //
96 // groupBox7 97 // groupBox7
97 // 98 //
98 this.groupBox7.Controls.Add(this.WindowName); 99 this.groupBox7.Controls.Add(this.WindowTitle);
99 this.groupBox7.Location = new System.Drawing.Point(6, 19); 100 this.groupBox7.Location = new System.Drawing.Point(6, 19);
100 this.groupBox7.Name = "groupBox7"; 101 this.groupBox7.Name = "groupBox7";
101 this.groupBox7.Size = new System.Drawing.Size(114, 50); 102 this.groupBox7.Size = new System.Drawing.Size(178, 50);
102 this.groupBox7.TabIndex = 5; 103 this.groupBox7.TabIndex = 5;
103 this.groupBox7.TabStop = false; 104 this.groupBox7.TabStop = false;
104 this.groupBox7.Text = "Name"; 105 this.groupBox7.Text = "Title";
105 // 106 //
106 // WindowName 107 // WindowName
107 // 108 //
108 this.WindowName.Location = new System.Drawing.Point(8, 19); 109 this.WindowTitle.Location = new System.Drawing.Point(8, 19);
109 this.WindowName.Name = "WindowName"; 110 this.WindowTitle.Name = "WindowTitle";
-   111 this.WindowTitle.ReadOnly = true;
110 this.WindowName.Size = new System.Drawing.Size(100, 20); 112 this.WindowTitle.Size = new System.Drawing.Size(162, 20);
111 this.WindowName.TabIndex = 0; 113 this.WindowTitle.TabIndex = 0;
112 this.WindowName.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 114 this.WindowTitle.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
113 // 115 //
114 // groupBox6 116 // groupBox6
115 // 117 //
116 this.groupBox6.Controls.Add(this.ignoreHeightCheckBox); 118 this.groupBox6.Controls.Add(this.ignoreHeightCheckBox);
117 this.groupBox6.Controls.Add(this.WindowHeight); 119 this.groupBox6.Controls.Add(this.WindowHeight);
Line 120... Line 122...
120 this.groupBox6.Size = new System.Drawing.Size(178, 50); 122 this.groupBox6.Size = new System.Drawing.Size(178, 50);
121 this.groupBox6.TabIndex = 4; 123 this.groupBox6.TabIndex = 4;
122 this.groupBox6.TabStop = false; 124 this.groupBox6.TabStop = false;
123 this.groupBox6.Text = "Height"; 125 this.groupBox6.Text = "Height";
124 // 126 //
-   127 // ignoreHeightCheckBox
-   128 //
-   129 this.ignoreHeightCheckBox.AutoSize = true;
-   130 this.ignoreHeightCheckBox.Location = new System.Drawing.Point(114, 21);
-   131 this.ignoreHeightCheckBox.Name = "ignoreHeightCheckBox";
-   132 this.ignoreHeightCheckBox.Size = new System.Drawing.Size(56, 17);
-   133 this.ignoreHeightCheckBox.TabIndex = 2;
-   134 this.ignoreHeightCheckBox.Text = "Ignore";
-   135 this.ignoreHeightCheckBox.UseVisualStyleBackColor = true;
-   136 this.ignoreHeightCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   137 //
125 // WindowHeight 138 // WindowHeight
126 // 139 //
127 this.WindowHeight.Location = new System.Drawing.Point(8, 19); 140 this.WindowHeight.Location = new System.Drawing.Point(8, 19);
128 this.WindowHeight.Name = "WindowHeight"; 141 this.WindowHeight.Name = "WindowHeight";
129 this.WindowHeight.Size = new System.Drawing.Size(100, 20); 142 this.WindowHeight.Size = new System.Drawing.Size(100, 20);
Line 139... Line 152...
139 this.groupBox5.Size = new System.Drawing.Size(178, 50); 152 this.groupBox5.Size = new System.Drawing.Size(178, 50);
140 this.groupBox5.TabIndex = 3; 153 this.groupBox5.TabIndex = 3;
141 this.groupBox5.TabStop = false; 154 this.groupBox5.TabStop = false;
142 this.groupBox5.Text = "Width"; 155 this.groupBox5.Text = "Width";
143 // 156 //
-   157 // ignoreWidthCheckBox
-   158 //
-   159 this.ignoreWidthCheckBox.AutoSize = true;
-   160 this.ignoreWidthCheckBox.Location = new System.Drawing.Point(114, 22);
-   161 this.ignoreWidthCheckBox.Name = "ignoreWidthCheckBox";
-   162 this.ignoreWidthCheckBox.Size = new System.Drawing.Size(56, 17);
-   163 this.ignoreWidthCheckBox.TabIndex = 2;
-   164 this.ignoreWidthCheckBox.Text = "Ignore";
-   165 this.ignoreWidthCheckBox.UseVisualStyleBackColor = true;
-   166 this.ignoreWidthCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   167 //
144 // WindowWidth 168 // WindowWidth
145 // 169 //
146 this.WindowWidth.Location = new System.Drawing.Point(8, 19); 170 this.WindowWidth.Location = new System.Drawing.Point(8, 19);
147 this.WindowWidth.Name = "WindowWidth"; 171 this.WindowWidth.Name = "WindowWidth";
148 this.WindowWidth.Size = new System.Drawing.Size(100, 20); 172 this.WindowWidth.Size = new System.Drawing.Size(100, 20);
Line 158... Line 182...
158 this.groupBox4.Size = new System.Drawing.Size(178, 50); 182 this.groupBox4.Size = new System.Drawing.Size(178, 50);
159 this.groupBox4.TabIndex = 2; 183 this.groupBox4.TabIndex = 2;
160 this.groupBox4.TabStop = false; 184 this.groupBox4.TabStop = false;
161 this.groupBox4.Text = "Top"; 185 this.groupBox4.Text = "Top";
162 // 186 //
-   187 // ignoreTopCheckBox
-   188 //
-   189 this.ignoreTopCheckBox.AutoSize = true;
-   190 this.ignoreTopCheckBox.Location = new System.Drawing.Point(114, 21);
-   191 this.ignoreTopCheckBox.Name = "ignoreTopCheckBox";
-   192 this.ignoreTopCheckBox.Size = new System.Drawing.Size(56, 17);
-   193 this.ignoreTopCheckBox.TabIndex = 2;
-   194 this.ignoreTopCheckBox.Text = "Ignore";
-   195 this.ignoreTopCheckBox.UseVisualStyleBackColor = true;
-   196 this.ignoreTopCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   197 //
163 // WindowTop 198 // WindowTop
164 // 199 //
165 this.WindowTop.Location = new System.Drawing.Point(8, 19); 200 this.WindowTop.Location = new System.Drawing.Point(8, 19);
166 this.WindowTop.Name = "WindowTop"; 201 this.WindowTop.Name = "WindowTop";
167 this.WindowTop.Size = new System.Drawing.Size(100, 20); 202 this.WindowTop.Size = new System.Drawing.Size(100, 20);
Line 177... Line 212...
177 this.groupBox3.Size = new System.Drawing.Size(178, 50); 212 this.groupBox3.Size = new System.Drawing.Size(178, 50);
178 this.groupBox3.TabIndex = 1; 213 this.groupBox3.TabIndex = 1;
179 this.groupBox3.TabStop = false; 214 this.groupBox3.TabStop = false;
180 this.groupBox3.Text = "Left"; 215 this.groupBox3.Text = "Left";
181 // 216 //
-   217 // ignoreLeftCheckBox
-   218 //
-   219 this.ignoreLeftCheckBox.AutoSize = true;
-   220 this.ignoreLeftCheckBox.Location = new System.Drawing.Point(114, 21);
-   221 this.ignoreLeftCheckBox.Name = "ignoreLeftCheckBox";
-   222 this.ignoreLeftCheckBox.Size = new System.Drawing.Size(56, 17);
-   223 this.ignoreLeftCheckBox.TabIndex = 1;
-   224 this.ignoreLeftCheckBox.Text = "Ignore";
-   225 this.ignoreLeftCheckBox.UseVisualStyleBackColor = true;
-   226 this.ignoreLeftCheckBox.CheckedChanged += new System.EventHandler(this.OnIgnoreWindowSettings_CheckedChanged);
-   227 //
182 // WindowLeft 228 // WindowLeft
183 // 229 //
184 this.WindowLeft.Location = new System.Drawing.Point(8, 19); 230 this.WindowLeft.Location = new System.Drawing.Point(8, 19);
185 this.WindowLeft.Name = "WindowLeft"; 231 this.WindowLeft.Name = "WindowLeft";
186 this.WindowLeft.Size = new System.Drawing.Size(100, 20); 232 this.WindowLeft.Size = new System.Drawing.Size(100, 20);
Line 213... Line 259...
213 // 259 //
214 this.desktopWindowsListBox.FormattingEnabled = true; 260 this.desktopWindowsListBox.FormattingEnabled = true;
215 this.desktopWindowsListBox.Location = new System.Drawing.Point(6, 19); 261 this.desktopWindowsListBox.Location = new System.Drawing.Point(6, 19);
216 this.desktopWindowsListBox.Name = "desktopWindowsListBox"; 262 this.desktopWindowsListBox.Name = "desktopWindowsListBox";
217 this.desktopWindowsListBox.Size = new System.Drawing.Size(167, 277); 263 this.desktopWindowsListBox.Size = new System.Drawing.Size(167, 277);
-   264 this.desktopWindowsListBox.Sorted = true;
218 this.desktopWindowsListBox.TabIndex = 0; 265 this.desktopWindowsListBox.TabIndex = 0;
219 // 266 //
220 // addButton 267 // addButton
221 // 268 //
222 this.addButton.Location = new System.Drawing.Point(6, 302); 269 this.addButton.Location = new System.Drawing.Point(6, 302);
Line 225... Line 272...
225 this.addButton.TabIndex = 4; 272 this.addButton.TabIndex = 4;
226 this.addButton.Text = "Add"; 273 this.addButton.Text = "Add";
227 this.addButton.UseVisualStyleBackColor = true; 274 this.addButton.UseVisualStyleBackColor = true;
228 this.addButton.Click += new System.EventHandler(this.AddButton_Click); 275 this.addButton.Click += new System.EventHandler(this.AddButton_Click);
229 // 276 //
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 // -  
274 // RuleEditForm 277 // RuleEditForm
275 // 278 //
276 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); 279 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
277 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; 280 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
278 this.ClientSize = new System.Drawing.Size(584, 362); 281 this.ClientSize = new System.Drawing.Size(584, 362);
Line 313... Line 316...
313 private System.Windows.Forms.GroupBox groupBox4; 316 private System.Windows.Forms.GroupBox groupBox4;
314 private System.Windows.Forms.TextBox WindowTop; 317 private System.Windows.Forms.TextBox WindowTop;
315 private System.Windows.Forms.GroupBox groupBox3; 318 private System.Windows.Forms.GroupBox groupBox3;
316 private System.Windows.Forms.TextBox WindowLeft; 319 private System.Windows.Forms.TextBox WindowLeft;
317 private System.Windows.Forms.GroupBox groupBox7; 320 private System.Windows.Forms.GroupBox groupBox7;
318 private System.Windows.Forms.TextBox WindowName; 321 private System.Windows.Forms.TextBox WindowTitle;
319 private System.Windows.Forms.GroupBox groupBox8; 322 private System.Windows.Forms.GroupBox groupBox8;
320 private System.Windows.Forms.ListBox desktopWindowsListBox; 323 private System.Windows.Forms.ListBox desktopWindowsListBox;
321 private System.Windows.Forms.Button addButton; 324 private System.Windows.Forms.Button addButton;
322 private System.Windows.Forms.Button removeButton; 325 private System.Windows.Forms.Button removeButton;
323 private System.Windows.Forms.Button refreshButton; 326 private System.Windows.Forms.Button refreshButton;