Skip to content

Commit 075d616

Browse files
Remove obsolete and unused fields from SessionSettings.
1 parent 758d80d commit 075d616

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

ILSpy/SessionSettings.cs

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -60,9 +60,6 @@ public SessionSettings(ILSpySettings spySettings)
6060

6161
this.WindowState = FromString((string)doc.Element("WindowState"), WindowState.Normal);
6262
this.WindowBounds = FromString((string)doc.Element("WindowBounds"), DefaultWindowBounds);
63-
this.SplitterPosition = FromString((string)doc.Element("SplitterPosition"), 0.4);
64-
this.TopPaneSplitterPosition = FromString((string)doc.Element("TopPaneSplitterPosition"), 0.3);
65-
this.BottomPaneSplitterPosition = FromString((string)doc.Element("BottomPaneSplitterPosition"), 0.3);
6663
this.SelectedSearchMode = FromString((string)doc.Element("SelectedSearchMode"), SearchMode.TypeAndMember);
6764
this.Theme = FromString((string)doc.Element(nameof(Theme)), ThemeManager.Current.DefaultTheme);
6865
string currentCulture = (string)doc.Element(nameof(CurrentCulture));
@@ -119,11 +116,6 @@ public string ActiveAssemblyList {
119116
public WindowState WindowState = WindowState.Normal;
120117
public Rect WindowBounds;
121118
internal static Rect DefaultWindowBounds = new Rect(10, 10, 750, 550);
122-
/// <summary>
123-
/// position of the left/right splitter
124-
/// </summary>
125-
public double SplitterPosition;
126-
public double TopPaneSplitterPosition, BottomPaneSplitterPosition;
127119

128120
public DockLayoutSettings DockLayout { get; private set; }
129121

@@ -145,9 +137,6 @@ public XElement ToXml()
145137
}
146138
doc.Add(new XElement("WindowState", ToString(this.WindowState)));
147139
doc.Add(new XElement("WindowBounds", ToString(this.WindowBounds)));
148-
doc.Add(new XElement("SplitterPosition", ToString(this.SplitterPosition)));
149-
doc.Add(new XElement("TopPaneSplitterPosition", ToString(this.TopPaneSplitterPosition)));
150-
doc.Add(new XElement("BottomPaneSplitterPosition", ToString(this.BottomPaneSplitterPosition)));
151140
doc.Add(new XElement("SelectedSearchMode", ToString(this.SelectedSearchMode)));
152141
doc.Add(new XElement(nameof(Theme), ToString(this.Theme)));
153142
if (this.CurrentCulture != null)

0 commit comments

Comments
 (0)