Widow – Diff between revs 9 and 11

Subversion Repositories:
Rev:
Only display areas with differences – Ignore whitespace
Rev 9 Rev 11
1  1 
2 namespace Widow 2 namespace Widow
3 { 3 {
4 partial class RuleEditForm 4 partial class RuleEditForm
5 { 5 {
6 /// <summary> 6 /// <summary>
7 /// Required designer variable. 7 /// Required designer variable.
8 /// </summary> 8 /// </summary>
9 private System.ComponentModel.IContainer components = null; 9 private System.ComponentModel.IContainer components = null;
10   10  
11 #region Windows Form Designer generated code 11 #region Windows Form Designer generated code
12   12  
13 /// <summary> 13 /// <summary>
14 /// Required method for Designer support - do not modify 14 /// Required method for Designer support - do not modify
15 /// the contents of this method with the code editor. 15 /// the contents of this method with the code editor.
16 /// </summary> 16 /// </summary>
17 private void InitializeComponent() 17 private void InitializeComponent()
18 { 18 {
19 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(RuleEditForm)); 19 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(RuleEditForm));
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();
47 this.groupBox4.SuspendLayout(); 47 this.groupBox4.SuspendLayout();
48 this.groupBox3.SuspendLayout(); 48 this.groupBox3.SuspendLayout();
49 this.groupBox8.SuspendLayout(); 49 this.groupBox8.SuspendLayout();
50 this.SuspendLayout(); 50 this.SuspendLayout();
51 // 51 //
52 // windowRulesListBox 52 // windowRulesListBox
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 //
63 this.groupBox1.Controls.Add(this.windowRulesListBox); 64 this.groupBox1.Controls.Add(this.windowRulesListBox);
64 this.groupBox1.Controls.Add(this.removeButton); 65 this.groupBox1.Controls.Add(this.removeButton);
65 this.groupBox1.Location = new System.Drawing.Point(197, 12); 66 this.groupBox1.Location = new System.Drawing.Point(197, 12);
66 this.groupBox1.Name = "groupBox1"; 67 this.groupBox1.Name = "groupBox1";
67 this.groupBox1.Size = new System.Drawing.Size(179, 331); 68 this.groupBox1.Size = new System.Drawing.Size(179, 331);
68 this.groupBox1.TabIndex = 1; 69 this.groupBox1.TabIndex = 1;
69 this.groupBox1.TabStop = false; 70 this.groupBox1.TabStop = false;
70 this.groupBox1.Text = "Configured Windows"; 71 this.groupBox1.Text = "Configured Windows";
71 // 72 //
72 // removeButton 73 // removeButton
73 // 74 //
74 this.removeButton.Location = new System.Drawing.Point(6, 302); 75 this.removeButton.Location = new System.Drawing.Point(6, 302);
75 this.removeButton.Name = "removeButton"; 76 this.removeButton.Name = "removeButton";
76 this.removeButton.Size = new System.Drawing.Size(75, 23); 77 this.removeButton.Size = new System.Drawing.Size(75, 23);
77 this.removeButton.TabIndex = 5; 78 this.removeButton.TabIndex = 5;
78 this.removeButton.Text = "Remove"; 79 this.removeButton.Text = "Remove";
79 this.removeButton.UseVisualStyleBackColor = true; 80 this.removeButton.UseVisualStyleBackColor = true;
80 this.removeButton.Click += new System.EventHandler(this.RemoveButton_Click); 81 this.removeButton.Click += new System.EventHandler(this.RemoveButton_Click);
81 // 82 //
82 // groupBox2 83 // groupBox2
83 // 84 //
84 this.groupBox2.Controls.Add(this.groupBox7); 85 this.groupBox2.Controls.Add(this.groupBox7);
85 this.groupBox2.Controls.Add(this.groupBox6); 86 this.groupBox2.Controls.Add(this.groupBox6);
86 this.groupBox2.Controls.Add(this.groupBox5); 87 this.groupBox2.Controls.Add(this.groupBox5);
87 this.groupBox2.Controls.Add(this.groupBox4); 88 this.groupBox2.Controls.Add(this.groupBox4);
88 this.groupBox2.Controls.Add(this.groupBox3); 89 this.groupBox2.Controls.Add(this.groupBox3);
89 this.groupBox2.Location = new System.Drawing.Point(382, 12); 90 this.groupBox2.Location = new System.Drawing.Point(382, 12);
90 this.groupBox2.Name = "groupBox2"; 91 this.groupBox2.Name = "groupBox2";
91 this.groupBox2.Size = new System.Drawing.Size(190, 302); 92 this.groupBox2.Size = new System.Drawing.Size(190, 302);
92 this.groupBox2.TabIndex = 2; 93 this.groupBox2.TabIndex = 2;
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);
118 this.groupBox6.Location = new System.Drawing.Point(6, 243); 120 this.groupBox6.Location = new System.Drawing.Point(6, 243);
119 this.groupBox6.Name = "groupBox6"; 121 this.groupBox6.Name = "groupBox6";
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);
130 this.WindowHeight.TabIndex = 0; 143 this.WindowHeight.TabIndex = 0;
131 this.WindowHeight.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 144 this.WindowHeight.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
132 // 145 //
133 // groupBox5 146 // groupBox5
134 // 147 //
135 this.groupBox5.Controls.Add(this.ignoreWidthCheckBox); 148 this.groupBox5.Controls.Add(this.ignoreWidthCheckBox);
136 this.groupBox5.Controls.Add(this.WindowWidth); 149 this.groupBox5.Controls.Add(this.WindowWidth);
137 this.groupBox5.Location = new System.Drawing.Point(6, 187); 150 this.groupBox5.Location = new System.Drawing.Point(6, 187);
138 this.groupBox5.Name = "groupBox5"; 151 this.groupBox5.Name = "groupBox5";
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);
149 this.WindowWidth.TabIndex = 0; 173 this.WindowWidth.TabIndex = 0;
150 this.WindowWidth.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 174 this.WindowWidth.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
151 // 175 //
152 // groupBox4 176 // groupBox4
153 // 177 //
154 this.groupBox4.Controls.Add(this.ignoreTopCheckBox); 178 this.groupBox4.Controls.Add(this.ignoreTopCheckBox);
155 this.groupBox4.Controls.Add(this.WindowTop); 179 this.groupBox4.Controls.Add(this.WindowTop);
156 this.groupBox4.Location = new System.Drawing.Point(6, 131); 180 this.groupBox4.Location = new System.Drawing.Point(6, 131);
157 this.groupBox4.Name = "groupBox4"; 181 this.groupBox4.Name = "groupBox4";
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);
168 this.WindowTop.TabIndex = 0; 203 this.WindowTop.TabIndex = 0;
169 this.WindowTop.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 204 this.WindowTop.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
170 // 205 //
171 // groupBox3 206 // groupBox3
172 // 207 //
173 this.groupBox3.Controls.Add(this.ignoreLeftCheckBox); 208 this.groupBox3.Controls.Add(this.ignoreLeftCheckBox);
174 this.groupBox3.Controls.Add(this.WindowLeft); 209 this.groupBox3.Controls.Add(this.WindowLeft);
175 this.groupBox3.Location = new System.Drawing.Point(6, 75); 210 this.groupBox3.Location = new System.Drawing.Point(6, 75);
176 this.groupBox3.Name = "groupBox3"; 211 this.groupBox3.Name = "groupBox3";
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);
187 this.WindowLeft.TabIndex = 0; 233 this.WindowLeft.TabIndex = 0;
188 this.WindowLeft.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged); 234 this.WindowLeft.TextChanged += new System.EventHandler(this.OnWindowSettings_TextChanged);
189 // 235 //
190 // groupBox8 236 // groupBox8
191 // 237 //
192 this.groupBox8.Controls.Add(this.refreshButton); 238 this.groupBox8.Controls.Add(this.refreshButton);
193 this.groupBox8.Controls.Add(this.desktopWindowsListBox); 239 this.groupBox8.Controls.Add(this.desktopWindowsListBox);
194 this.groupBox8.Controls.Add(this.addButton); 240 this.groupBox8.Controls.Add(this.addButton);
195 this.groupBox8.Location = new System.Drawing.Point(12, 12); 241 this.groupBox8.Location = new System.Drawing.Point(12, 12);
196 this.groupBox8.Name = "groupBox8"; 242 this.groupBox8.Name = "groupBox8";
197 this.groupBox8.Size = new System.Drawing.Size(179, 331); 243 this.groupBox8.Size = new System.Drawing.Size(179, 331);
198 this.groupBox8.TabIndex = 3; 244 this.groupBox8.TabIndex = 3;
199 this.groupBox8.TabStop = false; 245 this.groupBox8.TabStop = false;
200 this.groupBox8.Text = "Detected Windows"; 246 this.groupBox8.Text = "Detected Windows";
201 // 247 //
202 // refreshButton 248 // refreshButton
203 // 249 //
204 this.refreshButton.Location = new System.Drawing.Point(87, 302); 250 this.refreshButton.Location = new System.Drawing.Point(87, 302);
205 this.refreshButton.Name = "refreshButton"; 251 this.refreshButton.Name = "refreshButton";
206 this.refreshButton.Size = new System.Drawing.Size(75, 23); 252 this.refreshButton.Size = new System.Drawing.Size(75, 23);
207 this.refreshButton.TabIndex = 6; 253 this.refreshButton.TabIndex = 6;
208 this.refreshButton.Text = "Refresh"; 254 this.refreshButton.Text = "Refresh";
209 this.refreshButton.UseVisualStyleBackColor = true; 255 this.refreshButton.UseVisualStyleBackColor = true;
210 this.refreshButton.Click += new System.EventHandler(this.RefreshButton_Click); 256 this.refreshButton.Click += new System.EventHandler(this.RefreshButton_Click);
211 // 257 //
212 // desktopWindowsListBox 258 // desktopWindowsListBox
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);
223 this.addButton.Name = "addButton"; 270 this.addButton.Name = "addButton";
224 this.addButton.Size = new System.Drawing.Size(75, 23); 271 this.addButton.Size = new System.Drawing.Size(75, 23);
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);
279 this.Controls.Add(this.groupBox8); 282 this.Controls.Add(this.groupBox8);
280 this.Controls.Add(this.groupBox2); 283 this.Controls.Add(this.groupBox2);
281 this.Controls.Add(this.groupBox1); 284 this.Controls.Add(this.groupBox1);
282 this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); 285 this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
283 this.MaximumSize = new System.Drawing.Size(600, 400); 286 this.MaximumSize = new System.Drawing.Size(600, 400);
284 this.MinimumSize = new System.Drawing.Size(600, 400); 287 this.MinimumSize = new System.Drawing.Size(600, 400);
285 this.Name = "RuleEditForm"; 288 this.Name = "RuleEditForm";
286 this.Text = "Rule Editor"; 289 this.Text = "Rule Editor";
287 this.groupBox1.ResumeLayout(false); 290 this.groupBox1.ResumeLayout(false);
288 this.groupBox2.ResumeLayout(false); 291 this.groupBox2.ResumeLayout(false);
289 this.groupBox7.ResumeLayout(false); 292 this.groupBox7.ResumeLayout(false);
290 this.groupBox7.PerformLayout(); 293 this.groupBox7.PerformLayout();
291 this.groupBox6.ResumeLayout(false); 294 this.groupBox6.ResumeLayout(false);
292 this.groupBox6.PerformLayout(); 295 this.groupBox6.PerformLayout();
293 this.groupBox5.ResumeLayout(false); 296 this.groupBox5.ResumeLayout(false);
294 this.groupBox5.PerformLayout(); 297 this.groupBox5.PerformLayout();
295 this.groupBox4.ResumeLayout(false); 298 this.groupBox4.ResumeLayout(false);
296 this.groupBox4.PerformLayout(); 299 this.groupBox4.PerformLayout();
297 this.groupBox3.ResumeLayout(false); 300 this.groupBox3.ResumeLayout(false);
298 this.groupBox3.PerformLayout(); 301 this.groupBox3.PerformLayout();
299 this.groupBox8.ResumeLayout(false); 302 this.groupBox8.ResumeLayout(false);
300 this.ResumeLayout(false); 303 this.ResumeLayout(false);
301   304  
302 } 305 }
303   306  
304 #endregion 307 #endregion
305   308  
306 private System.Windows.Forms.ListBox windowRulesListBox; 309 private System.Windows.Forms.ListBox windowRulesListBox;
307 private System.Windows.Forms.GroupBox groupBox1; 310 private System.Windows.Forms.GroupBox groupBox1;
308 private System.Windows.Forms.GroupBox groupBox2; 311 private System.Windows.Forms.GroupBox groupBox2;
309 private System.Windows.Forms.GroupBox groupBox6; 312 private System.Windows.Forms.GroupBox groupBox6;
310 private System.Windows.Forms.TextBox WindowHeight; 313 private System.Windows.Forms.TextBox WindowHeight;
311 private System.Windows.Forms.GroupBox groupBox5; 314 private System.Windows.Forms.GroupBox groupBox5;
312 private System.Windows.Forms.TextBox WindowWidth; 315 private System.Windows.Forms.TextBox WindowWidth;
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;
324 private System.Windows.Forms.CheckBox ignoreHeightCheckBox; 327 private System.Windows.Forms.CheckBox ignoreHeightCheckBox;
325 private System.Windows.Forms.CheckBox ignoreWidthCheckBox; 328 private System.Windows.Forms.CheckBox ignoreWidthCheckBox;
326 private System.Windows.Forms.CheckBox ignoreTopCheckBox; 329 private System.Windows.Forms.CheckBox ignoreTopCheckBox;
327 private System.Windows.Forms.CheckBox ignoreLeftCheckBox; 330 private System.Windows.Forms.CheckBox ignoreLeftCheckBox;
328 } 331 }
329 } 332 }
330   333  
331
Generated by GNU Enscript 1.6.5.90.
 334
Generated by GNU Enscript 1.6.5.90.
332   335  
333   336  
334   337