void SetDestIndex(int group, int index)
{
destGroupSpinButton.Value = group;
destIndexSpinButton.Value = index;
destEditorContainer.Remove(destEditorContainer.Child);
if (group != -1 && group < Project.GetNumGroups())
{
destGroup = Project.GetIndexedDataType <WarpDestGroup>(group);
}
if (group == -1 || group >= Project.GetNumGroups() ||
index == -1 || index >= destGroup.GetNumWarpDests())
{
frame2.Hide();
return;
}
WarpDestData destData = destGroup.GetWarpDest(index);
ValueReferenceEditor editor = new ValueReferenceEditor(Project, destData);
int numReferences = destData.GetNumReferences();
if (numReferences == 2)
{
destInfoLabel.Text = "Used by " + (numReferences - 1) + " other source";
}
else
{
destInfoLabel.Text = "Used by " + (numReferences - 1) + " other sources";
}
destEditorContainer.Add(editor);
destEditorContainer.ShowAll();
frame2.ShowAll();
}