1.1 --- a/GUI/MainForm.cs Sun Aug 08 13:57:26 2010 +0000
1.2 +++ b/GUI/MainForm.cs Thu Aug 12 20:53:27 2010 +0000
1.3 @@ -107,9 +107,9 @@
1.4 nodeTextBoxText.EditorShowing += nodeTextBoxText_EditorShowing;
1.5
1.6 if (settings.Contains("mainForm.Location.X")) {
1.7 - int x = settings.Get("mainForm.Location.X", Location.X);
1.8 + int x = settings.GetValue("mainForm.Location.X", Location.X);
1.9 x = x < 0 ? 0 : x;
1.10 - int y = settings.Get("mainForm.Location.Y", Location.Y);
1.11 + int y = settings.GetValue("mainForm.Location.Y", Location.Y);
1.12 y = y < 0 ? 0 : y;
1.13 this.Location = new Point(x, y);
1.14 } else {
1.15 @@ -117,12 +117,12 @@
1.16 }
1.17
1.18 ClientSize = new Size(
1.19 - settings.Get("mainForm.Width", 470),
1.20 - settings.Get("mainForm.Height", 640));
1.21 + settings.GetValue("mainForm.Width", 470),
1.22 + settings.GetValue("mainForm.Height", 640));
1.23
1.24 foreach (TreeColumn column in treeView.Columns)
1.25 column.Width = Math.Max(20, Math.Min(400,
1.26 - settings.Get("treeView.Columns." + column.Header + ".Width",
1.27 + settings.GetValue("treeView.Columns." + column.Header + ".Width",
1.28 column.Width)));
1.29
1.30 treeModel = new TreeModel();
1.31 @@ -317,14 +317,14 @@
1.32
1.33 private void SaveConfiguration() {
1.34 if (WindowState != FormWindowState.Minimized) {
1.35 - settings.Set("mainForm.Location.X", Location.X);
1.36 - settings.Set("mainForm.Location.Y", Location.Y);
1.37 - settings.Set("mainForm.Width", ClientSize.Width);
1.38 - settings.Set("mainForm.Height", ClientSize.Height);
1.39 + settings.SetValue("mainForm.Location.X", Location.X);
1.40 + settings.SetValue("mainForm.Location.Y", Location.Y);
1.41 + settings.SetValue("mainForm.Width", ClientSize.Width);
1.42 + settings.SetValue("mainForm.Height", ClientSize.Height);
1.43 }
1.44
1.45 foreach (TreeColumn column in treeView.Columns)
1.46 - settings.Set("treeView.Columns." + column.Header + ".Width",
1.47 + settings.SetValue("treeView.Columns." + column.Header + ".Width",
1.48 column.Width);
1.49
1.50 settings.Save(Path.ChangeExtension(