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  }