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; }