UI/PreferencesEditor.Designer.cs

   1 namespace Widgit
   2 {
   3     partial class PreferencesEditor
   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.m_folderChooser = new System.Windows.Forms.FolderBrowserDialog();
  32             this.panel1 = new System.Windows.Forms.Panel();
  33             this.tabControl1 = new System.Windows.Forms.TabControl();
  34             this.tabPage1 = new System.Windows.Forms.TabPage();
  35             this.groupBox1 = new System.Windows.Forms.GroupBox();
  36             this.m_gitPath = new System.Windows.Forms.TextBox();
  37             this.button1 = new System.Windows.Forms.Button();
  38             this.label1 = new System.Windows.Forms.Label();
  39             this.tabPage2 = new System.Windows.Forms.TabPage();
  40             this.label7 = new System.Windows.Forms.Label();
  41             this.label6 = new System.Windows.Forms.Label();
  42             this.label5 = new System.Windows.Forms.Label();
  43             this.label4 = new System.Windows.Forms.Label();
  44             this.label3 = new System.Windows.Forms.Label();
  45             this.label2 = new System.Windows.Forms.Label();
  46             this.button5 = new System.Windows.Forms.Button();
  47             this.button4 = new System.Windows.Forms.Button();
  48             this.button3 = new System.Windows.Forms.Button();
  49             this.m_mergetoolArgs = new System.Windows.Forms.TextBox();
  50             this.m_difftoolArgs = new System.Windows.Forms.TextBox();
  51             this.m_mergeTool = new System.Windows.Forms.TextBox();
  52             this.m_difftool = new System.Windows.Forms.TextBox();
  53             this.m_editor = new System.Windows.Forms.TextBox();
  54             this.m_editorArgs = new System.Windows.Forms.TextBox();
  55             this.button2 = new System.Windows.Forms.Button();
  56             this.m_fileChooser = new System.Windows.Forms.OpenFileDialog();
  57             this.panel1.SuspendLayout();
  58             this.tabControl1.SuspendLayout();
  59             this.tabPage1.SuspendLayout();
  60             this.groupBox1.SuspendLayout();
  61             this.tabPage2.SuspendLayout();
  62             this.SuspendLayout();
  63             //
  64             // m_folderChooser
  65             //
  66             this.m_folderChooser.ShowNewFolderButton = false;
  67             //
  68             // panel1
  69             //
  70             this.panel1.Controls.Add(this.tabControl1);
  71             this.panel1.Location = new System.Drawing.Point(12, 12);
  72             this.panel1.Name = "panel1";
  73             this.panel1.Size = new System.Drawing.Size(407, 281);
  74             this.panel1.TabIndex = 0;
  75             //
  76             // tabControl1
  77             //
  78             this.tabControl1.Controls.Add(this.tabPage1);
  79             this.tabControl1.Controls.Add(this.tabPage2);
  80             this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
  81             this.tabControl1.Location = new System.Drawing.Point(0, 0);
  82             this.tabControl1.Name = "tabControl1";
  83             this.tabControl1.SelectedIndex = 0;
  84             this.tabControl1.Size = new System.Drawing.Size(407, 281);
  85             this.tabControl1.TabIndex = 6;
  86             //
  87             // tabPage1
  88             //
  89             this.tabPage1.Controls.Add(this.groupBox1);
  90             this.tabPage1.Location = new System.Drawing.Point(4, 22);
  91             this.tabPage1.Name = "tabPage1";
  92             this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
  93             this.tabPage1.Size = new System.Drawing.Size(399, 255);
  94             this.tabPage1.TabIndex = 0;
  95             this.tabPage1.Text = "Windows Options";
  96             this.tabPage1.UseVisualStyleBackColor = true;
  97             //
  98             // groupBox1
  99             //
 100             this.groupBox1.Controls.Add(this.m_gitPath);
 101             this.groupBox1.Controls.Add(this.button1);
 102             this.groupBox1.Controls.Add(this.label1);
 103             this.groupBox1.Location = new System.Drawing.Point(8, 37);
 104             this.groupBox1.Name = "groupBox1";
 105             this.groupBox1.Size = new System.Drawing.Size(407, 65);
 106             this.groupBox1.TabIndex = 4;
 107             this.groupBox1.TabStop = false;
 108             this.groupBox1.Text = "Windows Options";
 109             //
 110             // m_gitPath
 111             //
 112             this.m_gitPath.Location = new System.Drawing.Point(57, 29);
 113             this.m_gitPath.Name = "m_gitPath";
 114             this.m_gitPath.Size = new System.Drawing.Size(238, 20);
 115             this.m_gitPath.TabIndex = 1;
 116             //
 117             // button1
 118             //
 119             this.button1.Location = new System.Drawing.Point(301, 27);
 120             this.button1.Name = "button1";
 121             this.button1.Size = new System.Drawing.Size(75, 23);
 122             this.button1.TabIndex = 2;
 123             this.button1.Text = "Browse...";
 124             this.button1.UseVisualStyleBackColor = true;
 125             this.button1.Click += new System.EventHandler(this.OnChooseMinGWPath);
 126             //
 127             // label1
 128             //
 129             this.label1.AutoSize = true;
 130             this.label1.Location = new System.Drawing.Point(3, 32);
 131             this.label1.Name = "label1";
 132             this.label1.Size = new System.Drawing.Size(48, 13);
 133             this.label1.TabIndex = 0;
 134             this.label1.Text = "Git Path:";
 135             //
 136             // tabPage2
 137             //
 138             this.tabPage2.Controls.Add(this.label7);
 139             this.tabPage2.Controls.Add(this.label6);
 140             this.tabPage2.Controls.Add(this.label5);
 141             this.tabPage2.Controls.Add(this.label4);
 142             this.tabPage2.Controls.Add(this.label3);
 143             this.tabPage2.Controls.Add(this.label2);
 144             this.tabPage2.Controls.Add(this.button5);
 145             this.tabPage2.Controls.Add(this.button4);
 146             this.tabPage2.Controls.Add(this.button3);
 147             this.tabPage2.Controls.Add(this.m_mergetoolArgs);
 148             this.tabPage2.Controls.Add(this.m_difftoolArgs);
 149             this.tabPage2.Controls.Add(this.m_mergeTool);
 150             this.tabPage2.Controls.Add(this.m_difftool);
 151             this.tabPage2.Controls.Add(this.m_editor);
 152             this.tabPage2.Controls.Add(this.m_editorArgs);
 153             this.tabPage2.Location = new System.Drawing.Point(4, 22);
 154             this.tabPage2.Name = "tabPage2";
 155             this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
 156             this.tabPage2.Size = new System.Drawing.Size(399, 255);
 157             this.tabPage2.TabIndex = 1;
 158             this.tabPage2.Text = "Editors";
 159             this.tabPage2.UseVisualStyleBackColor = true;
 160             //
 161             // label7
 162             //
 163             this.label7.AutoSize = true;
 164             this.label7.Location = new System.Drawing.Point(3, 207);
 165             this.label7.Name = "label7";
 166             this.label7.Size = new System.Drawing.Size(117, 13);
 167             this.label7.TabIndex = 14;
 168             this.label7.Text = "Merge Tool Arguments:";
 169             //
 170             // label6
 171             //
 172             this.label6.AutoSize = true;
 173             this.label6.Location = new System.Drawing.Point(3, 171);
 174             this.label6.Name = "label6";
 175             this.label6.Size = new System.Drawing.Size(64, 13);
 176             this.label6.TabIndex = 13;
 177             this.label6.Text = "Merge Tool:";
 178             //
 179             // label5
 180             //
 181             this.label5.AutoSize = true;
 182             this.label5.Location = new System.Drawing.Point(3, 135);
 183             this.label5.Name = "label5";
 184             this.label5.Size = new System.Drawing.Size(103, 13);
 185             this.label5.TabIndex = 12;
 186             this.label5.Text = "Diff Tool Arguments:";
 187             //
 188             // label4
 189             //
 190             this.label4.AutoSize = true;
 191             this.label4.Location = new System.Drawing.Point(3, 98);
 192             this.label4.Name = "label4";
 193             this.label4.Size = new System.Drawing.Size(50, 13);
 194             this.label4.TabIndex = 11;
 195             this.label4.Text = "Diff Tool:";
 196             //
 197             // label3
 198             //
 199             this.label3.AutoSize = true;
 200             this.label3.Location = new System.Drawing.Point(3, 63);
 201             this.label3.Name = "label3";
 202             this.label3.Size = new System.Drawing.Size(90, 13);
 203             this.label3.TabIndex = 10;
 204             this.label3.Text = "Editor Arguments:";
 205             //
 206             // label2
 207             //
 208             this.label2.AutoSize = true;
 209             this.label2.Location = new System.Drawing.Point(3, 27);
 210             this.label2.Name = "label2";
 211             this.label2.Size = new System.Drawing.Size(37, 13);
 212             this.label2.TabIndex = 9;
 213             this.label2.Text = "Editor:";
 214             //
 215             // button5
 216             //
 217             this.button5.Location = new System.Drawing.Point(315, 24);
 218             this.button5.Name = "button5";
 219             this.button5.Size = new System.Drawing.Size(75, 23);
 220             this.button5.TabIndex = 8;
 221             this.button5.Text = "Browse...";
 222             this.button5.UseVisualStyleBackColor = true;
 223             this.button5.Click += new System.EventHandler(this.OnBrowseEditor);
 224             //
 225             // button4
 226             //
 227             this.button4.Location = new System.Drawing.Point(315, 93);
 228             this.button4.Name = "button4";
 229             this.button4.Size = new System.Drawing.Size(75, 23);
 230             this.button4.TabIndex = 7;
 231             this.button4.Text = "Browse...";
 232             this.button4.UseVisualStyleBackColor = true;
 233             this.button4.Click += new System.EventHandler(this.OnBrowseDifftool);
 234             //
 235             // button3
 236             //
 237             this.button3.Location = new System.Drawing.Point(315, 165);
 238             this.button3.Name = "button3";
 239             this.button3.Size = new System.Drawing.Size(75, 23);
 240             this.button3.TabIndex = 6;
 241             this.button3.Text = "Browse...";
 242             this.button3.UseVisualStyleBackColor = true;
 243             this.button3.Click += new System.EventHandler(this.OnBrowseMegetool);
 244             //
 245             // m_mergetoolArgs
 246             //
 247             this.m_mergetoolArgs.Location = new System.Drawing.Point(123, 204);
 248             this.m_mergetoolArgs.Name = "m_mergetoolArgs";
 249             this.m_mergetoolArgs.Size = new System.Drawing.Size(181, 20);
 250             this.m_mergetoolArgs.TabIndex = 5;
 251             //
 252             // m_difftoolArgs
 253             //
 254             this.m_difftoolArgs.Location = new System.Drawing.Point(123, 132);
 255             this.m_difftoolArgs.Name = "m_difftoolArgs";
 256             this.m_difftoolArgs.Size = new System.Drawing.Size(181, 20);
 257             this.m_difftoolArgs.TabIndex = 4;
 258             //
 259             // m_mergeTool
 260             //
 261             this.m_mergeTool.Location = new System.Drawing.Point(123, 168);
 262             this.m_mergeTool.Name = "m_mergeTool";
 263             this.m_mergeTool.Size = new System.Drawing.Size(181, 20);
 264             this.m_mergeTool.TabIndex = 3;
 265             //
 266             // m_difftool
 267             //
 268             this.m_difftool.Location = new System.Drawing.Point(123, 96);
 269             this.m_difftool.Name = "m_difftool";
 270             this.m_difftool.Size = new System.Drawing.Size(181, 20);
 271             this.m_difftool.TabIndex = 2;
 272             //
 273             // m_editor
 274             //
 275             this.m_editor.Location = new System.Drawing.Point(123, 24);
 276             this.m_editor.Name = "m_editor";
 277             this.m_editor.Size = new System.Drawing.Size(181, 20);
 278             this.m_editor.TabIndex = 1;
 279             //
 280             // m_editorArgs
 281             //
 282             this.m_editorArgs.Location = new System.Drawing.Point(123, 60);
 283             this.m_editorArgs.Name = "m_editorArgs";
 284             this.m_editorArgs.Size = new System.Drawing.Size(181, 20);
 285             this.m_editorArgs.TabIndex = 0;
 286             //
 287             // button2
 288             //
 289             this.button2.Location = new System.Drawing.Point(340, 311);
 290             this.button2.Name = "button2";
 291             this.button2.Size = new System.Drawing.Size(75, 23);
 292             this.button2.TabIndex = 3;
 293             this.button2.Text = "Save";
 294             this.button2.UseVisualStyleBackColor = true;
 295             this.button2.Click += new System.EventHandler(this.OnSave);
 296             //
 297             // m_fileChooser
 298             //
 299             this.m_fileChooser.ShowReadOnly = true;
 300             //
 301             // PreferencesEditor
 302             //
 303             this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
 304             this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
 305             this.ClientSize = new System.Drawing.Size(431, 346);
 306             this.Controls.Add(this.button2);
 307             this.Controls.Add(this.panel1);
 308             this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
 309             this.Name = "PreferencesEditor";
 310             this.Text = "PreferencesEditor";
 311             this.panel1.ResumeLayout(false);
 312             this.tabControl1.ResumeLayout(false);
 313             this.tabPage1.ResumeLayout(false);
 314             this.groupBox1.ResumeLayout(false);
 315             this.groupBox1.PerformLayout();
 316             this.tabPage2.ResumeLayout(false);
 317             this.tabPage2.PerformLayout();
 318             this.ResumeLayout(false);
 319
 320         }
 321
 322         #endregion
 323
 324         private System.Windows.Forms.FolderBrowserDialog m_folderChooser;
 325         private System.Windows.Forms.Panel panel1;
 326         private System.Windows.Forms.TabControl tabControl1;
 327         private System.Windows.Forms.TabPage tabPage2;
 328         private System.Windows.Forms.TextBox m_mergetoolArgs;
 329         private System.Windows.Forms.TextBox m_difftoolArgs;
 330         private System.Windows.Forms.TextBox m_mergeTool;
 331         private System.Windows.Forms.TextBox m_difftool;
 332         private System.Windows.Forms.TextBox m_editor;
 333         private System.Windows.Forms.TextBox m_editorArgs;
 334         private System.Windows.Forms.TabPage tabPage1;
 335         private System.Windows.Forms.GroupBox groupBox1;
 336         private System.Windows.Forms.TextBox m_gitPath;
 337         private System.Windows.Forms.Button button1;
 338         private System.Windows.Forms.Label label1;
 339         private System.Windows.Forms.Button button2;
 340         private System.Windows.Forms.Label label7;
 341         private System.Windows.Forms.Label label6;
 342         private System.Windows.Forms.Label label5;
 343         private System.Windows.Forms.Label label4;
 344         private System.Windows.Forms.Label label3;
 345         private System.Windows.Forms.Label label2;
 346         private System.Windows.Forms.Button button5;
 347         private System.Windows.Forms.Button button4;
 348         private System.Windows.Forms.Button button3;
 349         private System.Windows.Forms.OpenFileDialog m_fileChooser;
 350     }
 351 }