public static void Make_Undoable(Visual_Flow_Form form)
{
Subchart current = form.selectedTabMaybeNull();
if (current == null)
{
return;
}
Action new_action;
bool was_enabled;
new_action = new Action();
new_action.clone = current.Start.Clone();
new_action.kind = Action_Kind.Change_Tab;
new_action.chart = current;
if (!Component.BARTPE && !Component.VM && !Component.MONO)
{
was_enabled = new_action.chart.tab_overlay.Enabled;
new_action.chart.tab_overlay.Enabled = false;
new_action.ink = new_action.chart.tab_overlay.Ink.Clone();
new_action.chart.tab_overlay.Enabled = was_enabled;
}
Add_Undo_Action(new_action, form);
Clear_Redo(form);
}
public static void Redo_Action(Visual_Flow_Form form)
{
Subchart current = form.selectedTabMaybeNull();
if (num_redo > 0 && current != null)
{
Action this_action = ((Action)Redo_array[num_redo - 1]);
Action undo_action;
undo_action = new Action();
undo_action.kind = this_action.kind;
undo_action.chart = this_action.chart;
switch (this_action.kind)
{
case Action_Kind.Rename_Tab:
undo_action.old_name = this_action.old_name;
undo_action.new_name = this_action.new_name;
Add_Undo_Action(undo_action, form);
this_action.chart.Text = this_action.new_name;
form.Rename_Tab(this_action.old_name, this_action.new_name);
form.carlisle.SelectedTab = this_action.chart;
break;
case Action_Kind.Add_Tab:
Add_Undo_Action(undo_action, form);
form.carlisle.TabPages.Add(this_action.chart);
form.carlisle.SelectedTab = this_action.chart;
break;
case Action_Kind.Delete_Tab:
Add_Undo_Action(undo_action, form);
form.carlisle.TabPages.Remove(this_action.chart);
break;
case Action_Kind.Change_Tab:
undo_action.clone = this_action.chart.Start.Clone();
bool was_enabled = true;
if (!Component.BARTPE && !Component.VM && !Component.MONO)
{
was_enabled = this_action.chart.tab_overlay.Enabled;
this_action.chart.tab_overlay.Enabled = false;
undo_action.ink = this_action.chart.tab_overlay.Ink.Clone();
}
Add_Undo_Action(undo_action, form);
this_action.chart.Start = (Oval)this_action.clone.Clone();
if (!Component.BARTPE && !Component.VM && !Component.MONO)
{
this_action.chart.tab_overlay.Ink = this_action.ink.Clone();
this_action.chart.tab_overlay.Enabled = was_enabled;
}
this_action.chart.Start.scale = form.scale;
this_action.chart.Start.Scale(form.scale);
form.my_layout();
form.Current_Selection = current.Start.select(-1000, -1000);
this_action.chart.flow_panel.Invalidate();
(this_action.chart.Parent as System.Windows.Forms.TabControl).SelectedTab = this_action.chart;
if (this_action.chart.Parent != form.carlisle)
{
form.carlisle.SelectedTab = this_action.chart.Parent.Parent as System.Windows.Forms.TabPage;
}
//form.carlisle.SelectedTab=this_action.chart;
break;
}
Decrement_Redoable(form);
}
}
