# HG changeset patch # User Brad Greco # Date 1559266769 14400 # Node ID 832a07de0f90cb9d8dce7093a6b943cda975864b # Parent b21318f6e3f147074874ee5b04de4395d2269560 Fix server name descenders being cut off. diff -r b21318f6e3f1 -r 832a07de0f90 ServerMonitor/Controls/FileCheckControl.cs --- a/ServerMonitor/Controls/FileCheckControl.cs Thu May 30 20:36:42 2019 -0400 +++ b/ServerMonitor/Controls/FileCheckControl.cs Thu May 30 21:39:29 2019 -0400 @@ -36,7 +36,7 @@ if (FileSizeTextBox.Text == "0" && !check.CheckFileSize) FileSizeTextBox.Clear(); if (DateModifiedTextBox.Text == "0" && !check.CheckDateModified) - DateModifiedTextBox.Clear(); + DateModifiedTextBox.Clear(); } /// Updates the properties of a check from user input. diff -r b21318f6e3f1 -r 832a07de0f90 ServerMonitor/Controls/ServerSummaryControl.Designer.cs --- a/ServerMonitor/Controls/ServerSummaryControl.Designer.cs Thu May 30 20:36:42 2019 -0400 +++ b/ServerMonitor/Controls/ServerSummaryControl.Designer.cs Thu May 30 21:39:29 2019 -0400 @@ -42,7 +42,7 @@ this.ServerNameLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 14F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.ServerNameLabel.Location = new System.Drawing.Point(0, 127); this.ServerNameLabel.Name = "ServerNameLabel"; - this.ServerNameLabel.Size = new System.Drawing.Size(192, 21); + this.ServerNameLabel.Size = new System.Drawing.Size(192, 36); this.ServerNameLabel.TabIndex = 1; this.ServerNameLabel.TextAlign = System.Drawing.ContentAlignment.TopCenter; //