Browse Source

Remove obsolete and unused fields from SessionSettings.

natural-type-lambdas-methods
Siegfried Pammer 2 years ago
parent
commit
075d616b2d
  1. 11
      ILSpy/SessionSettings.cs

11
ILSpy/SessionSettings.cs

@ -60,9 +60,6 @@ namespace ICSharpCode.ILSpy @@ -60,9 +60,6 @@ namespace ICSharpCode.ILSpy
this.WindowState = FromString((string)doc.Element("WindowState"), WindowState.Normal);
this.WindowBounds = FromString((string)doc.Element("WindowBounds"), DefaultWindowBounds);
this.SplitterPosition = FromString((string)doc.Element("SplitterPosition"), 0.4);
this.TopPaneSplitterPosition = FromString((string)doc.Element("TopPaneSplitterPosition"), 0.3);
this.BottomPaneSplitterPosition = FromString((string)doc.Element("BottomPaneSplitterPosition"), 0.3);
this.SelectedSearchMode = FromString((string)doc.Element("SelectedSearchMode"), SearchMode.TypeAndMember);
this.Theme = FromString((string)doc.Element(nameof(Theme)), ThemeManager.Current.DefaultTheme);
string currentCulture = (string)doc.Element(nameof(CurrentCulture));
@ -119,11 +116,6 @@ namespace ICSharpCode.ILSpy @@ -119,11 +116,6 @@ namespace ICSharpCode.ILSpy
public WindowState WindowState = WindowState.Normal;
public Rect WindowBounds;
internal static Rect DefaultWindowBounds = new Rect(10, 10, 750, 550);
/// <summary>
/// position of the left/right splitter
/// </summary>
public double SplitterPosition;
public double TopPaneSplitterPosition, BottomPaneSplitterPosition;
public DockLayoutSettings DockLayout { get; private set; }
@ -145,9 +137,6 @@ namespace ICSharpCode.ILSpy @@ -145,9 +137,6 @@ namespace ICSharpCode.ILSpy
}
doc.Add(new XElement("WindowState", ToString(this.WindowState)));
doc.Add(new XElement("WindowBounds", ToString(this.WindowBounds)));
doc.Add(new XElement("SplitterPosition", ToString(this.SplitterPosition)));
doc.Add(new XElement("TopPaneSplitterPosition", ToString(this.TopPaneSplitterPosition)));
doc.Add(new XElement("BottomPaneSplitterPosition", ToString(this.BottomPaneSplitterPosition)));
doc.Add(new XElement("SelectedSearchMode", ToString(this.SelectedSearchMode)));
doc.Add(new XElement(nameof(Theme), ToString(this.Theme)));
if (this.CurrentCulture != null)

Loading…
Cancel
Save