private void SourceSelectionChanged(object sender, EventArgs e)
{
SourceFileTabPage sourceControl = (SourceFileTabPage)sender;
labelCaretLocation.Text = string.Format("{0}, {1}", sourceControl.CaretLocation.X + 1,
sourceControl.CaretLocation.Y + 1);
}
private void _AddFileTab(SourceFile sourceFile)
{
if (sourceFile == null)
{
return;
}
TabPage tabPage = new TabPage(sourceFile.Name);
SourceFileTabPage sourceControl = new SourceFileTabPage(sourceFile);
sourceControl.SelectionChanged += SourceSelectionChanged;
_sources.Add(sourceControl);
tabPage.Controls.Add(sourceControl);
sourceControl.Dock = DockStyle.Fill;
tabControl.TabPages.Add(tabPage);
}
private void _AddFileTab(SourceFile sourceFile)
{
if (sourceFile == null) return;
TabPage tabPage = new TabPage(sourceFile.Name);
SourceFileTabPage sourceControl = new SourceFileTabPage(sourceFile);
sourceControl.SelectionChanged += SourceSelectionChanged;
_sources.Add(sourceControl);
tabPage.Controls.Add(sourceControl);
sourceControl.Dock = DockStyle.Fill;
tabControl.TabPages.Add(tabPage);
}
