/// <summary>
/// Shows/hides a vertical split view of the document.
/// </summary>
public void ToggleSplitView()
{
if (_secondaryTextArea == null)
{
_secondaryTextArea = new TextAreaControl(this)
{
Dock = DockStyle.Bottom,
Height = (Height / 2)
};
_secondaryTextArea.TextArea.GotFocus += delegate { ActiveTextAreaControl = _secondaryTextArea; };
_textAreaSplitter = new Splitter
{
BorderStyle = BorderStyle.FixedSingle,
Height = 8,
Dock = DockStyle.Bottom
};
_textAreaPanel.Controls.Add(_textAreaSplitter);
_textAreaPanel.Controls.Add(_secondaryTextArea);
InitializeTextAreaControl(_secondaryTextArea);
_secondaryTextArea.OptionsChanged();
}
else
{
ActiveTextAreaControl = _primaryTextArea;
_textAreaPanel.Controls.Remove(_secondaryTextArea);
_textAreaPanel.Controls.Remove(_textAreaSplitter);
_secondaryTextArea.Dispose();
_textAreaSplitter.Dispose();
_secondaryTextArea = null;
_textAreaSplitter = null;
}
}
/// <summary>
/// Notifies all views that options have changed.
/// </summary>
public void OptionsChanged()
{
_primaryTextArea.OptionsChanged();
if (_secondaryTextArea != null)
{
_secondaryTextArea.OptionsChanged();
}
}
/// <summary>
/// Shows/hides a vertical split view of the document.
/// </summary>
public void ToggleSplitView()
{
if (_secondaryTextArea == null)
{
_secondaryTextArea = new TextAreaControl(this)
{
Dock = DockStyle.Bottom,
Height = (Height / 2)
};
_secondaryTextArea.TextArea.GotFocus += delegate { ActiveTextAreaControl = _secondaryTextArea; };
_textAreaSplitter = new Splitter
{
BorderStyle = BorderStyle.FixedSingle,
Height = 8,
Dock = DockStyle.Bottom
};
_textAreaPanel.Controls.Add(_textAreaSplitter);
_textAreaPanel.Controls.Add(_secondaryTextArea);
InitializeTextAreaControl(_secondaryTextArea);
_secondaryTextArea.OptionsChanged();
}
else
{
ActiveTextAreaControl = _primaryTextArea;
_textAreaPanel.Controls.Remove(_secondaryTextArea);
_textAreaPanel.Controls.Remove(_textAreaSplitter);
_secondaryTextArea.Dispose();
_textAreaSplitter.Dispose();
_secondaryTextArea = null;
_textAreaSplitter = null;
}
}
