From 284cdd78002990de3de6add1148be7c336cb9a17 Mon Sep 17 00:00:00 2001
From: WMJ <wmj@live.cn>
Date: Sun, 15 Apr 2018 16:41:18 +0800
Subject: [PATCH] ! Interface tweaks of option pages

---
 Codist/Options/CSharpPage.Designer.cs  |  2 +-
 Codist/Options/GeneralPage.Designer.cs | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Codist/Options/CSharpPage.Designer.cs b/Codist/Options/CSharpPage.Designer.cs
index ef4961d1..bffdd0ad 100644
--- a/Codist/Options/CSharpPage.Designer.cs
+++ b/Codist/Options/CSharpPage.Designer.cs
@@ -301,7 +301,7 @@ private void InitializeComponent() {
             0,
             0,
             0});
-			this._QuickInfoMaxHeightBox.Location = new System.Drawing.Point(350, 16);
+			this._QuickInfoMaxHeightBox.Location = new System.Drawing.Point(347, 19);
 			this._QuickInfoMaxHeightBox.Maximum = new decimal(new int[] {
             1000,
             0,
diff --git a/Codist/Options/GeneralPage.Designer.cs b/Codist/Options/GeneralPage.Designer.cs
index 0f90032d..d790e585 100644
--- a/Codist/Options/GeneralPage.Designer.cs
+++ b/Codist/Options/GeneralPage.Designer.cs
@@ -95,7 +95,7 @@ private void InitializeComponent() {
 			this.groupBox1.Controls.Add(this.label1);
 			this.groupBox1.Location = new System.Drawing.Point(3, 153);
 			this.groupBox1.Name = "groupBox1";
-			this.groupBox1.Size = new System.Drawing.Size(546, 84);
+			this.groupBox1.Size = new System.Drawing.Size(499, 84);
 			this.groupBox1.TabIndex = 3;
 			this.groupBox1.TabStop = false;
 			this.groupBox1.Text = "Extra line margins";
@@ -135,7 +135,7 @@ private void InitializeComponent() {
 			this.groupBox2.Controls.Add(this._LoadConfigButton);
 			this.groupBox2.Location = new System.Drawing.Point(3, 81);
 			this.groupBox2.Name = "groupBox2";
-			this.groupBox2.Size = new System.Drawing.Size(546, 66);
+			this.groupBox2.Size = new System.Drawing.Size(499, 66);
 			this.groupBox2.TabIndex = 2;
 			this.groupBox2.TabStop = false;
 			this.groupBox2.Text = "Super syntax highlight settings";
@@ -186,7 +186,7 @@ private void InitializeComponent() {
 			this.groupBox3.Controls.Add(this._LineNumbersBox);
 			this.groupBox3.Location = new System.Drawing.Point(3, 243);
 			this.groupBox3.Name = "groupBox3";
-			this.groupBox3.Size = new System.Drawing.Size(546, 82);
+			this.groupBox3.Size = new System.Drawing.Size(499, 82);
 			this.groupBox3.TabIndex = 4;
 			this.groupBox3.TabStop = false;
 			this.groupBox3.Text = "Misc";
@@ -236,9 +236,9 @@ private void InitializeComponent() {
 			this._SelectionQuickInfoBox.AutoSize = true;
 			this._SelectionQuickInfoBox.Location = new System.Drawing.Point(348, 49);
 			this._SelectionQuickInfoBox.Name = "_SelectionQuickInfoBox";
-			this._SelectionQuickInfoBox.Size = new System.Drawing.Size(189, 19);
+			this._SelectionQuickInfoBox.Size = new System.Drawing.Size(141, 19);
 			this._SelectionQuickInfoBox.TabIndex = 2;
-			this._SelectionQuickInfoBox.Text = "Selection Quick Info";
+			this._SelectionQuickInfoBox.Text = "Selection Info";
 			this._SelectionQuickInfoBox.UseVisualStyleBackColor = true;
 			// 
 			// GeneralPage