private void OnTypeTreeScrollChanged(DumpControl dump, double offset)
{
dump.SetTypeTreeScrollPosition(offset);
}
private void OnTypeTreeSelectionChanged(DumpControl dump, int index)
{
dump.TypeTreeListBox.SelectedIndex = index;
}
private void OnDumpHeaderSizeChanged(DumpControl dest, DumpControl source)
{
dest.DumpIDHeader.Width = source.DumpIDHeader.Width;
dest.DumpNameHeader.Width = source.DumpNameHeader.Width;
}
private void OnDumpScrollChanged(DumpControl dump, double offset)
{
dump.SetDumpScrollPosition(offset);
}
private void OnDumpSelectionChanged(DumpControl dump, int index)
{
dump.DumpListView.SelectedIndex = index;
}