1.1 --- a/GUI/MainForm.cs Sat Jul 24 20:15:49 2010 +0000
1.2 +++ b/GUI/MainForm.cs Tue Jul 27 18:38:11 2010 +0000
1.3 @@ -77,6 +77,15 @@
1.4 // set the DockStyle here, to avoid conflicts with the MainMenu
1.5 this.splitContainer.Dock = DockStyle.Fill;
1.6
1.7 + int p = (int)System.Environment.OSVersion.Platform;
1.8 + if ((p == 4) || (p == 128)) {
1.9 + splitContainer.BorderStyle = BorderStyle.None;
1.10 + splitContainer.Border3DStyle = Border3DStyle.Adjust;
1.11 + splitContainer.SplitterWidth = 4;
1.12 + treeView.BorderStyle = BorderStyle.Fixed3D;
1.13 + plotPanel.BorderStyle = BorderStyle.Fixed3D;
1.14 + }
1.15 +
1.16 this.Font = SystemFonts.MessageBoxFont;
1.17 treeView.Font = SystemFonts.MessageBoxFont;
1.18 plotPanel.Font = SystemFonts.MessageBoxFont;
1.19 @@ -459,8 +468,10 @@
1.20 }
1.21
1.22 private void resetMinMaxMenuItem_Click(object sender, EventArgs e) {
1.23 - IVisitor visitor = new ResetMinMaxVisitor();
1.24 - computer.Accept(visitor);
1.25 + computer.Accept(new SensorVisitor(delegate(ISensor sensor) {
1.26 + sensor.ResetMin();
1.27 + sensor.ResetMax();
1.28 + }));
1.29 }
1.30 }
1.31 }