UI/PreferencesEditor.Designer.cs

   1 //Widgit is free software; you can redistribute it and/or modify
   2 //it under the terms of the GNU General Public License as published by
   3 //the Free Software Foundation; either version 2 of the License, or
   4 //(at your option) any later version.
   5
   6 //Widgit is distributed in the hope that it will be useful,
   7 //but WITHOUT ANY WARRANTY; without even the implied warranty of
   8 //MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   9 //GNU General Public License for more details.
  10
  11 //You should have received a copy of the GNU General Public License
  12 //along with Widgit; if not, write to the Free Software
  13 //Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USAusing System;
  14
  15 namespace Widgit
  16 {
  17     partial class PreferencesEditor
  18     {
  19         /// <summary>
  20         /// Required designer variable.
  21         /// </summary>
  22         private System.ComponentModel.IContainer components = null;
  23
  24         /// <summary>
  25         /// Clean up any resources being used.
  26         /// </summary>
  27         /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
  28         protected override void Dispose(bool disposing)
  29         {
  30             if (disposing && (components != null))
  31             {
  32                 components.Dispose();
  33             }
  34             base.Dispose(disposing);
  35         }
  36
  37         #region Windows Form Designer generated code
  38
  39         /// <summary>
  40         /// Required method for Designer support - do not modify
  41         /// the contents of this method with the code editor.
  42         /// </summary>
  43         private void InitializeComponent()
  44         {
  45             this.m_folderChooser = new System.Windows.Forms.FolderBrowserDialog();
  46             this.panel1 = new System.Windows.Forms.Panel();
  47             this.tabControl1 = new System.Windows.Forms.TabControl();
  48             this.tabPage1 = new System.Windows.Forms.TabPage();
  49             this.groupBox1 = new System.Windows.Forms.GroupBox();
  50             this.m_gitPath = new System.Windows.Forms.TextBox();
  51             this.button1 = new System.Windows.Forms.Button();
  52             this.label1 = new System.Windows.Forms.Label();
  53             this.tabPage2 = new System.Windows.Forms.TabPage();
  54             this.label7 = new System.Windows.Forms.Label();
  55             this.label6 = new System.Windows.Forms.Label();
  56             this.label5 = new System.Windows.Forms.Label();
  57             this.label4 = new System.Windows.Forms.Label();
  58             this.label3 = new System.Windows.Forms.Label();
  59             this.label2 = new System.Windows.Forms.Label();
  60             this.button5 = new System.Windows.Forms.Button();
  61             this.button4 = new System.Windows.Forms.Button();
  62             this.button3 = new System.Windows.Forms.Button();
  63             this.m_mergetoolArgs = new System.Windows.Forms.TextBox();
  64             this.m_difftoolArgs = new System.Windows.Forms.TextBox();
  65             this.m_mergeTool = new System.Windows.Forms.TextBox();
  66             this.m_difftool = new System.Windows.Forms.TextBox();
  67             this.m_editor = new System.Windows.Forms.TextBox();
  68             this.m_editorArgs = new System.Windows.Forms.TextBox();
  69             this.button2 = new System.Windows.Forms.Button();
  70             this.m_fileChooser = new System.Windows.Forms.OpenFileDialog();
  71             this.panel1.SuspendLayout();
  72             this.tabControl1.SuspendLayout();
  73             this.tabPage1.SuspendLayout();
  74             this.groupBox1.SuspendLayout();
  75             this.tabPage2.SuspendLayout();
  76             this.SuspendLayout();
  77             //
  78             // m_folderChooser
  79             //
  80             this.m_folderChooser.ShowNewFolderButton = false;
  81             //
  82             // panel1
  83             //
  84             this.panel1.Controls.Add(this.tabControl1);
  85             this.panel1.Location = new System.Drawing.Point(12, 12);
  86             this.panel1.Name = "panel1";
  87             this.panel1.Size = new System.Drawing.Size(407, 281);
  88             this.panel1.TabIndex = 0;
  89             //
  90             // tabControl1
  91             //
  92             this.tabControl1.Controls.Add(this.tabPage1);
  93             this.tabControl1.Controls.Add(this.tabPage2);
  94             this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
  95             this.tabControl1.Location = new System.Drawing.Point(0, 0);
  96             this.tabControl1.Name = "tabControl1";
  97             this.tabControl1.SelectedIndex = 0;
  98             this.tabControl1.Size = new System.Drawing.Size(407, 281);
  99             this.tabControl1.TabIndex = 6;
 100             //
 101             // tabPage1
 102             //
 103             this.tabPage1.Controls.Add(this.groupBox1);
 104             this.tabPage1.Location = new System.Drawing.Point(4, 22);
 105             this.tabPage1.Name = "tabPage1";
 106             this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
 107             this.tabPage1.Size = new System.Drawing.Size(399, 255);
 108             this.tabPage1.TabIndex = 0;
 109             this.tabPage1.Text = "Windows Options";
 110             this.tabPage1.UseVisualStyleBackColor = true;
 111             //
 112             // groupBox1
 113             //
 114             this.groupBox1.Controls.Add(this.m_gitPath);
 115             this.groupBox1.Controls.Add(this.button1);
 116             this.groupBox1.Controls.Add(this.label1);
 117             this.groupBox1.Location = new System.Drawing.Point(8, 37);
 118             this.groupBox1.Name = "groupBox1";
 119             this.groupBox1.Size = new System.Drawing.Size(407, 65);
 120             this.groupBox1.TabIndex = 4;
 121             this.groupBox1.TabStop = false;
 122             this.groupBox1.Text = "Windows Options";
 123             //
 124             // m_gitPath
 125             //
 126             this.m_gitPath.Location = new System.Drawing.Point(57, 29);
 127             this.m_gitPath.Name = "m_gitPath";
 128             this.m_gitPath.Size = new System.Drawing.Size(238, 20);
 129             this.m_gitPath.TabIndex = 1;
 130             //
 131             // button1
 132             //
 133             this.button1.Location = new System.Drawing.Point(301, 27);
 134             this.button1.Name = "button1";
 135             this.button1.Size = new System.Drawing.Size(75, 23);
 136             this.button1.TabIndex = 2;
 137             this.button1.Text = "Browse...";
 138             this.button1.UseVisualStyleBackColor = true;
 139             this.button1.Click += new System.EventHandler(this.OnChooseMinGWPath);
 140             //
 141             // label1
 142             //
 143             this.label1.AutoSize = true;
 144             this.label1.Location = new System.Drawing.Point(3, 32);
 145             this.label1.Name = "label1";
 146             this.label1.Size = new System.Drawing.Size(48, 13);
 147             this.label1.TabIndex = 0;
 148             this.label1.Text = "Git Path:";
 149             //
 150             // tabPage2
 151             //
 152             this.tabPage2.Controls.Add(this.label7);
 153             this.tabPage2.Controls.Add(this.label6);
 154             this.tabPage2.Controls.Add(this.label5);
 155             this.tabPage2.Controls.Add(this.label4);
 156             this.tabPage2.Controls.Add(this.label3);
 157             this.tabPage2.Controls.Add(this.label2);
 158             this.tabPage2.Controls.Add(this.button5);
 159             this.tabPage2.Controls.Add(this.button4);
 160             this.tabPage2.Controls.Add(this.button3);
 161             this.tabPage2.Controls.Add(this.m_mergetoolArgs);
 162             this.tabPage2.Controls.Add(this.m_difftoolArgs);
 163             this.tabPage2.Controls.Add(this.m_mergeTool);
 164             this.tabPage2.Controls.Add(this.m_difftool);
 165             this.tabPage2.Controls.Add(this.m_editor);
 166             this.tabPage2.Controls.Add(this.m_editorArgs);
 167             this.tabPage2.Location = new System.Drawing.Point(4, 22);
 168             this.tabPage2.Name = "tabPage2";
 169             this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
 170             this.tabPage2.Size = new System.Drawing.Size(399, 255);
 171             this.tabPage2.TabIndex = 1;
 172             this.tabPage2.Text = "Editors";
 173             this.tabPage2.UseVisualStyleBackColor = true;
 174             //
 175             // label7
 176             //
 177             this.label7.AutoSize = true;
 178             this.label7.Location = new System.Drawing.Point(3, 207);
 179             this.label7.Name = "label7";
 180             this.label7.Size = new System.Drawing.Size(117, 13);
 181             this.label7.TabIndex = 14;
 182             this.label7.Text = "Merge Tool Arguments:";
 183             //
 184             // label6
 185             //
 186             this.label6.AutoSize = true;
 187             this.label6.Location = new System.Drawing.Point(3, 171);
 188             this.label6.Name = "label6";
 189             this.label6.Size = new System.Drawing.Size(64, 13);
 190             this.label6.TabIndex = 13;
 191             this.label6.Text = "Merge Tool:";
 192             //
 193             // label5
 194             //
 195             this.label5.AutoSize = true;
 196             this.label5.Location = new System.Drawing.Point(3, 135);
 197             this.label5.Name = "label5";
 198             this.label5.Size = new System.Drawing.Size(103, 13);
 199             this.label5.TabIndex = 12;
 200             this.label5.Text = "Diff Tool Arguments:";
 201             //
 202             // label4
 203             //
 204             this.label4.AutoSize = true;
 205             this.label4.Location = new System.Drawing.Point(3, 98);
 206             this.label4.Name = "label4";
 207             this.label4.Size = new System.Drawing.Size(50, 13);
 208             this.label4.TabIndex = 11;
 209             this.label4.Text = "Diff Tool:";
 210             //
 211             // label3
 212             //
 213             this.label3.AutoSize = true;
 214             this.label3.Location = new System.Drawing.Point(3, 63);
 215             this.label3.Name = "label3";
 216             this.label3.Size = new System.Drawing.Size(90, 13);
 217             this.label3.TabIndex = 10;
 218             this.label3.Text = "Editor Arguments:";
 219             //
 220             // label2
 221             //
 222             this.label2.AutoSize = true;
 223             this.label2.Location = new System.Drawing.Point(3, 27);
 224             this.label2.Name = "label2";
 225             this.label2.Size = new System.Drawing.Size(37, 13);
 226             this.label2.TabIndex = 9;
 227             this.label2.Text = "Editor:";
 228             //
 229             // button5
 230             //
 231             this.button5.Location = new System.Drawing.Point(315, 24);
 232             this.button5.Name = "button5";
 233             this.button5.Size = new System.Drawing.Size(75, 23);
 234             this.button5.TabIndex = 8;
 235             this.button5.Text = "Browse...";
 236             this.button5.UseVisualStyleBackColor = true;
 237             this.button5.Click += new System.EventHandler(this.OnBrowseEditor);
 238             //
 239             // button4
 240             //
 241             this.button4.Location = new System.Drawing.Point(315, 93);
 242             this.button4.Name = "button4";
 243             this.button4.Size = new System.Drawing.Size(75, 23);
 244             this.button4.TabIndex = 7;
 245             this.button4.Text = "Browse...";
 246             this.button4.UseVisualStyleBackColor = true;
 247             this.button4.Click += new System.EventHandler(this.OnBrowseDifftool);
 248             //
 249             // button3
 250             //
 251             this.button3.Location = new System.Drawing.Point(315, 165);
 252             this.button3.Name = "button3";
 253             this.button3.Size = new System.Drawing.Size(75, 23);
 254             this.button3.TabIndex = 6;
 255             this.button3.Text = "Browse...";
 256             this.button3.UseVisualStyleBackColor = true;
 257             this.button3.Click += new System.EventHandler(this.OnBrowseMegetool);
 258             //
 259             // m_mergetoolArgs
 260             //
 261             this.m_mergetoolArgs.Location = new System.Drawing.Point(123, 204);
 262             this.m_mergetoolArgs.Name = "m_mergetoolArgs";
 263             this.m_mergetoolArgs.Size = new System.Drawing.Size(181, 20);
 264             this.m_mergetoolArgs.TabIndex = 5;
 265             //
 266             // m_difftoolArgs
 267             //
 268             this.m_difftoolArgs.Location = new System.Drawing.Point(123, 132);
 269             this.m_difftoolArgs.Name = "m_difftoolArgs";
 270             this.m_difftoolArgs.Size = new System.Drawing.Size(181, 20);
 271             this.m_difftoolArgs.TabIndex = 4;
 272             //
 273             // m_mergeTool
 274             //
 275             this.m_mergeTool.Location = new System.Drawing.Point(123, 168);
 276             this.m_mergeTool.Name = "m_mergeTool";
 277             this.m_mergeTool.Size = new System.Drawing.Size(181, 20);
 278             this.m_mergeTool.TabIndex = 3;
 279             //
 280             // m_difftool
 281             //
 282             this.m_difftool.Location = new System.Drawing.Point(123, 96);
 283             this.m_difftool.Name = "m_difftool";
 284             this.m_difftool.Size = new System.Drawing.Size(181, 20);
 285             this.m_difftool.TabIndex = 2;
 286             //
 287             // m_editor
 288             //
 289             this.m_editor.Location = new System.Drawing.Point(123, 24);
 290             this.m_editor.Name = "m_editor";
 291             this.m_editor.Size = new System.Drawing.Size(181, 20);
 292             this.m_editor.TabIndex = 1;
 293             //
 294             // m_editorArgs
 295             //
 296             this.m_editorArgs.Location = new System.Drawing.Point(123, 60);
 297             this.m_editorArgs.Name = "m_editorArgs";
 298             this.m_editorArgs.Size = new System.Drawing.Size(181, 20);
 299             this.m_editorArgs.TabIndex = 0;
 300             //
 301             // button2
 302             //
 303             this.button2.Location = new System.Drawing.Point(340, 311);
 304             this.button2.Name = "button2";
 305             this.button2.Size = new System.Drawing.Size(75, 23);
 306             this.button2.TabIndex = 3;
 307             this.button2.Text = "Save";
 308             this.button2.UseVisualStyleBackColor = true;
 309             this.button2.Click += new System.EventHandler(this.OnSave);
 310             //
 311             // m_fileChooser
 312             //
 313             this.m_fileChooser.ShowReadOnly = true;
 314             //
 315             // PreferencesEditor
 316             //
 317             this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
 318             this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
 319             this.ClientSize = new System.Drawing.Size(431, 346);
 320             this.Controls.Add(this.button2);
 321             this.Controls.Add(this.panel1);
 322             this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
 323             this.Name = "PreferencesEditor";
 324             this.Text = "PreferencesEditor";
 325             this.panel1.ResumeLayout(false);
 326             this.tabControl1.ResumeLayout(false);
 327             this.tabPage1.ResumeLayout(false);
 328             this.groupBox1.ResumeLayout(false);
 329             this.groupBox1.PerformLayout();
 330             this.tabPage2.ResumeLayout(false);
 331             this.tabPage2.PerformLayout();
 332             this.ResumeLayout(false);
 333
 334         }
 335
 336         #endregion
 337
 338         private System.Windows.Forms.FolderBrowserDialog m_folderChooser;
 339         private System.Windows.Forms.Panel panel1;
 340         private System.Windows.Forms.TabControl tabControl1;
 341         private System.Windows.Forms.TabPage tabPage2;
 342         private System.Windows.Forms.TextBox m_mergetoolArgs;
 343         private System.Windows.Forms.TextBox m_difftoolArgs;
 344         private System.Windows.Forms.TextBox m_mergeTool;
 345         private System.Windows.Forms.TextBox m_difftool;
 346         private System.Windows.Forms.TextBox m_editor;
 347         private System.Windows.Forms.TextBox m_editorArgs;
 348         private System.Windows.Forms.TabPage tabPage1;
 349         private System.Windows.Forms.GroupBox groupBox1;
 350         private System.Windows.Forms.TextBox m_gitPath;
 351         private System.Windows.Forms.Button button1;
 352         private System.Windows.Forms.Label label1;
 353         private System.Windows.Forms.Button button2;
 354         private System.Windows.Forms.Label label7;
 355         private System.Windows.Forms.Label label6;
 356         private System.Windows.Forms.Label label5;
 357         private System.Windows.Forms.Label label4;
 358         private System.Windows.Forms.Label label3;
 359         private System.Windows.Forms.Label label2;
 360         private System.Windows.Forms.Button button5;
 361         private System.Windows.Forms.Button button4;
 362         private System.Windows.Forms.Button button3;
 363         private System.Windows.Forms.OpenFileDialog m_fileChooser;
 364     }
 365 }