From: <br...@us...> - 2008-08-02 12:49:04
|
Revision: 305 http://acmcontester.svn.sourceforge.net/acmcontester/?rev=305&view=rev Author: brus07 Date: 2008-08-02 12:49:14 +0000 (Sat, 02 Aug 2008) Log Message: ----------- Add ScrollBars to textBox in WebGatePlugin and fixed bug in one. Modified Paths: -------------- ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.Designer.cs ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.cs Modified: ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.Designer.cs =================================================================== --- ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.Designer.cs 2008-08-02 12:39:10 UTC (rev 304) +++ ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.Designer.cs 2008-08-02 12:49:14 UTC (rev 305) @@ -48,6 +48,7 @@ this.textBox2.Location = new System.Drawing.Point(3, 58); this.textBox2.Multiline = true; this.textBox2.Name = "textBox2"; + this.textBox2.ScrollBars = System.Windows.Forms.ScrollBars.Both; this.textBox2.Size = new System.Drawing.Size(263, 145); this.textBox2.TabIndex = 2; // Modified: ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.cs =================================================================== --- ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.cs 2008-08-02 12:39:10 UTC (rev 304) +++ ACMServer/trunk/ACMServer/Plugins/MediatorPlugins/WebGatePlugin/WebGatePluginUserControl.cs 2008-08-02 12:49:14 UTC (rev 305) @@ -46,7 +46,7 @@ else { string timeStr = DateTime.Now.ToLongTimeString() + "." + DateTime.Now.Millisecond.ToString(); - textBox2.Text += timeStr + " " + text + " "; + textBox2.Text += timeStr + " " + text + Environment.NewLine; //if (autoScrollCheckBox.Checked) { textBox2.Select(textBox2.Text.Length, 0); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |