1.1 --- a/GUI/MainForm.cs	Sat Apr 09 20:16:42 2011 +0000
     1.2 +++ b/GUI/MainForm.cs	Sun Apr 10 20:22:20 2011 +0000
     1.3 @@ -90,8 +90,7 @@
     1.4              
     1.5        this.Font = SystemFonts.MessageBoxFont;
     1.6        treeView.Font = SystemFonts.MessageBoxFont;
     1.7 -      plotPanel.Font = SystemFonts.MessageBoxFont;
     1.8 -      treeView.RowHeight = Math.Max(treeView.Font.Height + 1, 17);      
     1.9 +      plotPanel.Font = SystemFonts.MessageBoxFont;           
    1.10        
    1.11        nodeCheckBox.IsVisibleValueNeeded += nodeCheckBox_IsVisibleValueNeeded;
    1.12        nodeCheckBox.CheckStateChanged += UpdatePlotSelection;
    1.13 @@ -121,6 +120,7 @@
    1.14  
    1.15        int p = (int)Environment.OSVersion.Platform;
    1.16        if ((p == 4) || (p == 128)) { // Unix
    1.17 +        treeView.RowHeight = Math.Max(treeView.RowHeight, 17); 
    1.18          splitContainer.BorderStyle = BorderStyle.None;
    1.19          splitContainer.Border3DStyle = Border3DStyle.Adjust;
    1.20          splitContainer.SplitterWidth = 4;
    1.21 @@ -129,6 +129,8 @@
    1.22          gadgetMenuItem.Visible = false;
    1.23          minCloseMenuItem.Visible = false;
    1.24        } else { // Windows
    1.25 +        treeView.RowHeight = Math.Max(treeView.Font.Height + 1, 17); 
    1.26 +
    1.27          gadget = new SensorGadget(computer, settings, unitManager);
    1.28          gadget.HideShowCommand += hideShowClick;
    1.29