Example #1
0
 private void OnTypeTreeScrollChanged(DumpControl dump, double offset)
 {
     dump.SetTypeTreeScrollPosition(offset);
 }
Example #2
0
 private void OnTypeTreeSelectionChanged(DumpControl dump, int index)
 {
     dump.TypeTreeListBox.SelectedIndex = index;
 }
Example #3
0
 private void OnDumpHeaderSizeChanged(DumpControl dest, DumpControl source)
 {
     dest.DumpIDHeader.Width   = source.DumpIDHeader.Width;
     dest.DumpNameHeader.Width = source.DumpNameHeader.Width;
 }
Example #4
0
 private void OnDumpScrollChanged(DumpControl dump, double offset)
 {
     dump.SetDumpScrollPosition(offset);
 }
Example #5
0
 private void OnDumpSelectionChanged(DumpControl dump, int index)
 {
     dump.DumpListView.SelectedIndex = index;
 }