From 075d616b2d52fcb4c8bd4118bbab04a34cda5cdc Mon Sep 17 00:00:00 2001 From: Siegfried Pammer Date: Sun, 7 Jan 2024 17:58:06 +0100 Subject: [PATCH] Remove obsolete and unused fields from SessionSettings. --- ILSpy/SessionSettings.cs | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/ILSpy/SessionSettings.cs b/ILSpy/SessionSettings.cs index ad53d408c..4004513c5 100644 --- a/ILSpy/SessionSettings.cs +++ b/ILSpy/SessionSettings.cs @@ -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 public WindowState WindowState = WindowState.Normal; public Rect WindowBounds; internal static Rect DefaultWindowBounds = new Rect(10, 10, 750, 550); - /// - /// position of the left/right splitter - /// - public double SplitterPosition; - public double TopPaneSplitterPosition, BottomPaneSplitterPosition; public DockLayoutSettings DockLayout { get; private set; } @@ -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)