source: branches/eraser6/Eraser/SettingsPanel.Designer.cs @ 303

Revision 303, 18.1 KB checked in by lowjoel, 5 years ago (diff)

Allow plugins to store their own settings and allow them to display a dialog to edit those settings.
Line 
1namespace Eraser
2{
3    partial class SettingsPanel
4    {
5        /// <summary>
6        /// Required designer variable.
7        /// </summary>
8        private System.ComponentModel.IContainer components = null;
9
10        /// <summary>
11        /// Clean up any resources being used.
12        /// </summary>
13        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
14        protected override void Dispose(bool disposing)
15        {
16            if (disposing && (components != null))
17            {
18                components.Dispose();
19            }
20            base.Dispose(disposing);
21        }
22
23        #region Windows Form Designer generated code
24
25        /// <summary>
26        /// Required method for Designer support - do not modify
27        /// the contents of this method with the code editor.
28        /// </summary>
29        private void InitializeComponent()
30        {
31            this.components = new System.ComponentModel.Container();
32            System.Windows.Forms.ListViewGroup listViewGroup4 = new System.Windows.Forms.ListViewGroup("Erasure method providers", System.Windows.Forms.HorizontalAlignment.Left);
33            System.Windows.Forms.ListViewGroup listViewGroup5 = new System.Windows.Forms.ListViewGroup("Random number generators", System.Windows.Forms.HorizontalAlignment.Left);
34            System.Windows.Forms.ListViewGroup listViewGroup6 = new System.Windows.Forms.ListViewGroup("History trace cleaners", System.Windows.Forms.HorizontalAlignment.Left);
35            this.shell = new Eraser.LightGroup();
36            this.shellContextMenu = new System.Windows.Forms.CheckBox();
37            this.lockedAllow = new System.Windows.Forms.CheckBox();
38            this.lockedConfirm = new System.Windows.Forms.CheckBox();
39            this.erase = new Eraser.LightGroup();
40            this.eraseFilesMethodLbl = new System.Windows.Forms.Label();
41            this.eraseUnusedMethodLbl = new System.Windows.Forms.Label();
42            this.eraseFilesMethod = new System.Windows.Forms.ComboBox();
43            this.eraseUnusedMethod = new System.Windows.Forms.ComboBox();
44            this.plugins = new Eraser.LightGroup();
45            this.pluginsManager = new System.Windows.Forms.ListView();
46            this.pluginsManagerColName = new System.Windows.Forms.ColumnHeader();
47            this.pluginsManagerColAuthor = new System.Windows.Forms.ColumnHeader();
48            this.pluginsManagerColVersion = new System.Windows.Forms.ColumnHeader();
49            this.pluginsManagerColPath = new System.Windows.Forms.ColumnHeader();
50            this.pluginsMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
51            this.settingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
52            this.scheduler = new Eraser.LightGroup();
53            this.schedulerMissed = new System.Windows.Forms.Label();
54            this.schedulerMissedImmediate = new System.Windows.Forms.RadioButton();
55            this.schedulerMissedIgnore = new System.Windows.Forms.RadioButton();
56            this.saveSettings = new System.Windows.Forms.Button();
57            this.erasePRNGLbl = new System.Windows.Forms.Label();
58            this.erasePRNG = new System.Windows.Forms.ComboBox();
59            this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
60            this.plausibleDeniability = new System.Windows.Forms.CheckBox();
61            ((System.ComponentModel.ISupportInitialize)(this.titleIcon)).BeginInit();
62            this.content.SuspendLayout();
63            this.pluginsMenu.SuspendLayout();
64            ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
65            this.SuspendLayout();
66            //
67            // titleLbl
68            //
69            this.titleLbl.Size = new System.Drawing.Size(101, 32);
70            this.titleLbl.Text = "Settings";
71            //
72            // titleIcon
73            //
74            this.titleIcon.Image = global::Eraser.Properties.Resources.ToolbarSettings;
75            //
76            // content
77            //
78            this.content.Controls.Add(this.plausibleDeniability);
79            this.content.Controls.Add(this.erasePRNG);
80            this.content.Controls.Add(this.erasePRNGLbl);
81            this.content.Controls.Add(this.schedulerMissedIgnore);
82            this.content.Controls.Add(this.schedulerMissedImmediate);
83            this.content.Controls.Add(this.schedulerMissed);
84            this.content.Controls.Add(this.scheduler);
85            this.content.Controls.Add(this.pluginsManager);
86            this.content.Controls.Add(this.plugins);
87            this.content.Controls.Add(this.eraseUnusedMethod);
88            this.content.Controls.Add(this.eraseFilesMethod);
89            this.content.Controls.Add(this.eraseUnusedMethodLbl);
90            this.content.Controls.Add(this.eraseFilesMethodLbl);
91            this.content.Controls.Add(this.erase);
92            this.content.Controls.Add(this.lockedConfirm);
93            this.content.Controls.Add(this.lockedAllow);
94            this.content.Controls.Add(this.shellContextMenu);
95            this.content.Controls.Add(this.shell);
96            this.content.Size = new System.Drawing.Size(712, 602);
97            //
98            // shell
99            //
100            this.shell.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
101                        | System.Windows.Forms.AnchorStyles.Right)));
102            this.shell.AutoSize = true;
103            this.shell.Label = "Shell integration";
104            this.shell.Location = new System.Drawing.Point(0, -6);
105            this.shell.Name = "shell";
106            this.shell.Padding = new System.Windows.Forms.Padding(0, 10, 0, 5);
107            this.shell.Size = new System.Drawing.Size(712, 32);
108            this.shell.TabIndex = 1;
109            //
110            // shellContextMenu
111            //
112            this.shellContextMenu.AutoSize = true;
113            this.shellContextMenu.Checked = true;
114            this.shellContextMenu.CheckState = System.Windows.Forms.CheckState.Checked;
115            this.shellContextMenu.Location = new System.Drawing.Point(20, 32);
116            this.shellContextMenu.Name = "shellContextMenu";
117            this.shellContextMenu.Size = new System.Drawing.Size(209, 17);
118            this.shellContextMenu.TabIndex = 2;
119            this.shellContextMenu.Text = "Integrate Eraser into Windows Explorer";
120            this.shellContextMenu.UseVisualStyleBackColor = true;
121            //
122            // lockedAllow
123            //
124            this.lockedAllow.AutoSize = true;
125            this.lockedAllow.Checked = true;
126            this.lockedAllow.CheckState = System.Windows.Forms.CheckState.Checked;
127            this.lockedAllow.Location = new System.Drawing.Point(20, 166);
128            this.lockedAllow.Name = "lockedAllow";
129            this.lockedAllow.Size = new System.Drawing.Size(251, 17);
130            this.lockedAllow.TabIndex = 10;
131            this.lockedAllow.Text = "Allow locked files to be erased on system restart";
132            this.lockedAllow.UseVisualStyleBackColor = true;
133            this.lockedAllow.CheckedChanged += new System.EventHandler(this.lockedAllow_CheckedChanged);
134            //
135            // lockedConfirm
136            //
137            this.lockedConfirm.AutoSize = true;
138            this.lockedConfirm.Location = new System.Drawing.Point(36, 189);
139            this.lockedConfirm.Name = "lockedConfirm";
140            this.lockedConfirm.Size = new System.Drawing.Size(182, 17);
141            this.lockedConfirm.TabIndex = 11;
142            this.lockedConfirm.Text = "Confirm with user before doing so";
143            this.lockedConfirm.UseVisualStyleBackColor = true;
144            //
145            // erase
146            //
147            this.erase.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
148                        | System.Windows.Forms.AnchorStyles.Right)));
149            this.erase.AutoSize = true;
150            this.erase.Label = "Erase settings";
151            this.erase.Location = new System.Drawing.Point(0, 49);
152            this.erase.Name = "erase";
153            this.erase.Padding = new System.Windows.Forms.Padding(0, 10, 0, 5);
154            this.erase.Size = new System.Drawing.Size(712, 32);
155            this.erase.TabIndex = 3;
156            //
157            // eraseFilesMethodLbl
158            //
159            this.eraseFilesMethodLbl.AutoSize = true;
160            this.eraseFilesMethodLbl.Location = new System.Drawing.Point(17, 88);
161            this.eraseFilesMethodLbl.Name = "eraseFilesMethodLbl";
162            this.eraseFilesMethodLbl.Size = new System.Drawing.Size(136, 13);
163            this.eraseFilesMethodLbl.TabIndex = 4;
164            this.eraseFilesMethodLbl.Text = "Default file erasure method:";
165            //
166            // eraseUnusedMethodLbl
167            //
168            this.eraseUnusedMethodLbl.AutoSize = true;
169            this.eraseUnusedMethodLbl.Location = new System.Drawing.Point(17, 114);
170            this.eraseUnusedMethodLbl.Name = "eraseUnusedMethodLbl";
171            this.eraseUnusedMethodLbl.Size = new System.Drawing.Size(190, 13);
172            this.eraseUnusedMethodLbl.TabIndex = 6;
173            this.eraseUnusedMethodLbl.Text = "Default unused space erasure method:";
174            //
175            // eraseFilesMethod
176            //
177            this.eraseFilesMethod.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
178            this.eraseFilesMethod.Location = new System.Drawing.Point(267, 84);
179            this.eraseFilesMethod.Name = "eraseFilesMethod";
180            this.eraseFilesMethod.Size = new System.Drawing.Size(290, 21);
181            this.eraseFilesMethod.TabIndex = 5;
182            //
183            // eraseUnusedMethod
184            //
185            this.eraseUnusedMethod.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
186            this.eraseUnusedMethod.Location = new System.Drawing.Point(267, 111);
187            this.eraseUnusedMethod.Name = "eraseUnusedMethod";
188            this.eraseUnusedMethod.Size = new System.Drawing.Size(290, 21);
189            this.eraseUnusedMethod.TabIndex = 7;
190            //
191            // plugins
192            //
193            this.plugins.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
194                        | System.Windows.Forms.AnchorStyles.Right)));
195            this.plugins.AutoSize = true;
196            this.plugins.Label = "Plugins";
197            this.plugins.Location = new System.Drawing.Point(0, 330);
198            this.plugins.Name = "plugins";
199            this.plugins.Padding = new System.Windows.Forms.Padding(0, 10, 0, 5);
200            this.plugins.Size = new System.Drawing.Size(712, 32);
201            this.plugins.TabIndex = 16;
202            //
203            // pluginsManager
204            //
205            this.pluginsManager.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
206                        | System.Windows.Forms.AnchorStyles.Right)));
207            this.pluginsManager.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
208            this.pluginsManagerColName,
209            this.pluginsManagerColAuthor,
210            this.pluginsManagerColVersion,
211            this.pluginsManagerColPath});
212            this.pluginsManager.ContextMenuStrip = this.pluginsMenu;
213            this.pluginsManager.FullRowSelect = true;
214            listViewGroup4.Header = "Erasure method providers";
215            listViewGroup4.Name = "pluginsManagerGrpMethod";
216            listViewGroup5.Header = "Random number generators";
217            listViewGroup5.Name = "pluginsManagerGrpPrng";
218            listViewGroup6.Header = "History trace cleaners";
219            listViewGroup6.Name = "pluginsManagerGrpHistory";
220            this.pluginsManager.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
221            listViewGroup4,
222            listViewGroup5,
223            listViewGroup6});
224            this.pluginsManager.Location = new System.Drawing.Point(20, 368);
225            this.pluginsManager.Name = "pluginsManager";
226            this.pluginsManager.Size = new System.Drawing.Size(689, 234);
227            this.pluginsManager.TabIndex = 17;
228            this.pluginsManager.UseCompatibleStateImageBehavior = false;
229            this.pluginsManager.View = System.Windows.Forms.View.Details;
230            //
231            // pluginsManagerColName
232            //
233            this.pluginsManagerColName.Text = "Name";
234            this.pluginsManagerColName.Width = 250;
235            //
236            // pluginsManagerColAuthor
237            //
238            this.pluginsManagerColAuthor.Text = "Author";
239            this.pluginsManagerColAuthor.Width = 140;
240            //
241            // pluginsManagerColVersion
242            //
243            this.pluginsManagerColVersion.Text = "Version";
244            this.pluginsManagerColVersion.Width = 80;
245            //
246            // pluginsManagerColPath
247            //
248            this.pluginsManagerColPath.Text = "File Path";
249            this.pluginsManagerColPath.Width = 180;
250            //
251            // pluginsMenu
252            //
253            this.pluginsMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
254            this.settingsToolStripMenuItem});
255            this.pluginsMenu.Name = "pluginsContextMenu";
256            this.pluginsMenu.Size = new System.Drawing.Size(126, 26);
257            this.pluginsMenu.Opening += new System.ComponentModel.CancelEventHandler(this.pluginsMenu_Opening);
258            //
259            // settingsToolStripMenuItem
260            //
261            this.settingsToolStripMenuItem.Name = "settingsToolStripMenuItem";
262            this.settingsToolStripMenuItem.Size = new System.Drawing.Size(152, 22);
263            this.settingsToolStripMenuItem.Text = "Settings...";
264            this.settingsToolStripMenuItem.Click += new System.EventHandler(this.settingsToolStripMenuItem_Click);
265            //
266            // scheduler
267            //
268            this.scheduler.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
269                        | System.Windows.Forms.AnchorStyles.Right)));
270            this.scheduler.AutoSize = true;
271            this.scheduler.Label = "Scheduler settings";
272            this.scheduler.Location = new System.Drawing.Point(0, 236);
273            this.scheduler.Name = "scheduler";
274            this.scheduler.Padding = new System.Windows.Forms.Padding(0, 10, 0, 5);
275            this.scheduler.Size = new System.Drawing.Size(712, 32);
276            this.scheduler.TabIndex = 12;
277            //
278            // schedulerMissed
279            //
280            this.schedulerMissed.AutoSize = true;
281            this.schedulerMissed.Location = new System.Drawing.Point(17, 271);
282            this.schedulerMissed.Name = "schedulerMissed";
283            this.schedulerMissed.Size = new System.Drawing.Size(242, 13);
284            this.schedulerMissed.TabIndex = 13;
285            this.schedulerMissed.Text = "When a recurring task has missed its starting time,";
286            //
287            // schedulerMissedImmediate
288            //
289            this.schedulerMissedImmediate.AutoSize = true;
290            this.schedulerMissedImmediate.Checked = true;
291            this.schedulerMissedImmediate.Location = new System.Drawing.Point(36, 287);
292            this.schedulerMissedImmediate.Name = "schedulerMissedImmediate";
293            this.schedulerMissedImmediate.Size = new System.Drawing.Size(217, 17);
294            this.schedulerMissedImmediate.TabIndex = 14;
295            this.schedulerMissedImmediate.TabStop = true;
296            this.schedulerMissedImmediate.Text = "execute the task when Eraser next starts";
297            this.schedulerMissedImmediate.UseVisualStyleBackColor = true;
298            //
299            // schedulerMissedIgnore
300            //
301            this.schedulerMissedIgnore.AutoSize = true;
302            this.schedulerMissedIgnore.Location = new System.Drawing.Point(36, 307);
303            this.schedulerMissedIgnore.Name = "schedulerMissedIgnore";
304            this.schedulerMissedIgnore.Size = new System.Drawing.Size(339, 17);
305            this.schedulerMissedIgnore.TabIndex = 15;
306            this.schedulerMissedIgnore.TabStop = true;
307            this.schedulerMissedIgnore.Text = "ignore the missed schedule and run only at the next appointed time";
308            this.schedulerMissedIgnore.UseVisualStyleBackColor = true;
309            //
310            // saveSettings
311            //
312            this.saveSettings.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
313            this.saveSettings.Location = new System.Drawing.Point(639, 27);
314            this.saveSettings.Name = "saveSettings";
315            this.saveSettings.Size = new System.Drawing.Size(90, 23);
316            this.saveSettings.TabIndex = 18;
317            this.saveSettings.Text = "Save Settings";
318            this.saveSettings.UseVisualStyleBackColor = true;
319            this.saveSettings.Click += new System.EventHandler(this.saveSettings_Click);
320            //
321            // erasePRNGLbl
322            //
323            this.erasePRNGLbl.AutoSize = true;
324            this.erasePRNGLbl.Location = new System.Drawing.Point(17, 142);
325            this.erasePRNGLbl.Name = "erasePRNGLbl";
326            this.erasePRNGLbl.Size = new System.Drawing.Size(131, 13);
327            this.erasePRNGLbl.TabIndex = 8;
328            this.erasePRNGLbl.Text = "Randomness data source:";
329            //
330            // erasePRNG
331            //
332            this.erasePRNG.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
333            this.erasePRNG.FormattingEnabled = true;
334            this.erasePRNG.Location = new System.Drawing.Point(267, 138);
335            this.erasePRNG.Name = "erasePRNG";
336            this.erasePRNG.Size = new System.Drawing.Size(290, 21);
337            this.erasePRNG.TabIndex = 9;
338            //
339            // errorProvider
340            //
341            this.errorProvider.ContainerControl = this;
342            //
343            // plausibleDeniability
344            //
345            this.plausibleDeniability.AutoSize = true;
346            this.plausibleDeniability.Checked = true;
347            this.plausibleDeniability.CheckState = System.Windows.Forms.CheckState.Checked;
348            this.plausibleDeniability.Location = new System.Drawing.Point(20, 213);
349            this.plausibleDeniability.Name = "plausibleDeniability";
350            this.plausibleDeniability.Size = new System.Drawing.Size(361, 17);
351            this.plausibleDeniability.TabIndex = 18;
352            this.plausibleDeniability.Text = "Copy other files from the same volume over the deleted file after erasing";
353            this.plausibleDeniability.UseVisualStyleBackColor = true;
354            //
355            // SettingsPanel
356            //
357            this.Controls.Add(this.saveSettings);
358            this.Name = "SettingsPanel";
359            this.Size = new System.Drawing.Size(752, 674);
360            this.Controls.SetChildIndex(this.saveSettings, 0);
361            this.Controls.SetChildIndex(this.titleLbl, 0);
362            this.Controls.SetChildIndex(this.titleIcon, 0);
363            this.Controls.SetChildIndex(this.content, 0);
364            ((System.ComponentModel.ISupportInitialize)(this.titleIcon)).EndInit();
365            this.content.ResumeLayout(false);
366            this.content.PerformLayout();
367            this.pluginsMenu.ResumeLayout(false);
368            ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
369            this.ResumeLayout(false);
370            this.PerformLayout();
371
372        }
373
374        #endregion
375
376        private System.Windows.Forms.CheckBox lockedConfirm;
377        private System.Windows.Forms.CheckBox lockedAllow;
378        private System.Windows.Forms.CheckBox shellContextMenu;
379        private LightGroup shell;
380        private System.Windows.Forms.Label eraseUnusedMethodLbl;
381        private System.Windows.Forms.Label eraseFilesMethodLbl;
382        private LightGroup erase;
383        private System.Windows.Forms.ComboBox eraseFilesMethod;
384        private System.Windows.Forms.ComboBox eraseUnusedMethod;
385        private System.Windows.Forms.ListView pluginsManager;
386        private System.Windows.Forms.ColumnHeader pluginsManagerColName;
387        private System.Windows.Forms.ColumnHeader pluginsManagerColAuthor;
388        private System.Windows.Forms.ColumnHeader pluginsManagerColVersion;
389        private System.Windows.Forms.ColumnHeader pluginsManagerColPath;
390        private LightGroup plugins;
391        private System.Windows.Forms.RadioButton schedulerMissedIgnore;
392        private System.Windows.Forms.RadioButton schedulerMissedImmediate;
393        private System.Windows.Forms.Label schedulerMissed;
394        private LightGroup scheduler;
395        private System.Windows.Forms.Button saveSettings;
396        private System.Windows.Forms.ComboBox erasePRNG;
397        private System.Windows.Forms.Label erasePRNGLbl;
398        private System.Windows.Forms.ErrorProvider errorProvider;
399        private System.Windows.Forms.CheckBox plausibleDeniability;
400        private System.Windows.Forms.ContextMenuStrip pluginsMenu;
401        private System.Windows.Forms.ToolStripMenuItem settingsToolStripMenuItem;
402    }
403}
Note: See TracBrowser for help on using the repository browser.