UltimateZoneBuilder/Source/Editing/UndoManager.cs

268 lines
5.7 KiB
C#
Raw Normal View History

2007-11-12 22:43:01 +00:00
#region ================== Copyright (c) 2007 Pascal vd Heiden
/*
* Copyright (c) 2007 Pascal vd Heiden, www.codeimp.com
* This program is released under GNU General Public License
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
*/
#endregion
#region ================== Namespaces
using System;
using System.Collections;
using System.Collections.Generic;
using System.Globalization;
using System.Text;
using System.Windows.Forms;
using System.IO;
using System.Reflection;
using CodeImp.DoomBuilder.Interface;
using CodeImp.DoomBuilder.IO;
using CodeImp.DoomBuilder.Map;
using CodeImp.DoomBuilder.Rendering;
using System.Diagnostics;
using CodeImp.DoomBuilder.Controls;
#endregion
namespace CodeImp.DoomBuilder.Editing
{
2008-01-02 21:49:43 +00:00
public class UndoManager
2007-11-12 22:43:01 +00:00
{
#region ================== Constants
#endregion
#region ================== Variables
// Undo and redo stacks
private List<UndoSnapshot> undos;
private List<UndoSnapshot> redos;
2007-11-12 22:43:01 +00:00
// Grouping
private UndoGroup lastgroup;
private int lastgrouptag;
// Unique tickets
private int ticketid;
// Disposing
private bool isdisposed = false;
#endregion
#region ================== Properties
2008-01-02 21:49:43 +00:00
internal UndoSnapshot NextUndo { get { if(undos.Count > 0) return undos[0]; else return null; } }
internal UndoSnapshot NextRedo { get { if(redos.Count > 0) return redos[0]; else return null; } }
2007-11-12 22:43:01 +00:00
public bool IsDisposed { get { return isdisposed; } }
#endregion
#region ================== Constructor / Disposer
// Constructor
2008-01-02 21:49:43 +00:00
internal UndoManager()
2007-11-12 22:43:01 +00:00
{
// Initialize
ticketid = 1;
undos = new List<UndoSnapshot>(General.Settings.UndoLevels + 1);
redos = new List<UndoSnapshot>(General.Settings.UndoLevels + 1);
2007-11-12 22:43:01 +00:00
// Bind any methods
ActionAttribute.BindMethods(this);
// We have no destructor
GC.SuppressFinalize(this);
}
2008-01-02 21:49:43 +00:00
// Disposer
internal void Dispose()
2007-11-12 22:43:01 +00:00
{
// Not already disposed?
if(!isdisposed)
{
// Unbind any methods
ActionAttribute.UnbindMethods(this);
// Clean up
ClearUndos();
ClearRedos();
// Done
isdisposed = true;
}
}
#endregion
#region ================== Private Methods
// This clears the redos
private void ClearRedos()
{
// Dispose all redos
foreach(UndoSnapshot u in redos) u.map.Dispose();
redos.Clear();
}
// This clears the undos
private void ClearUndos()
{
// Dispose all undos
foreach(UndoSnapshot u in undos) u.map.Dispose();
undos.Clear();
}
// This checks and removes a level when the limit is reached
private void LimitUndoRedoLevel(List<UndoSnapshot> list)
{
UndoSnapshot u;
// Too many?
if(list.Count > General.Settings.UndoLevels)
{
// Remove one and dispose map
u = list[list.Count - 1];
u.map.Dispose();
list.RemoveAt(list.Count - 1);
}
}
2007-11-12 22:43:01 +00:00
#endregion
#region ================== Public Methods
// This makes an undo and returns the unique ticket id
public int CreateUndo(string description, UndoGroup group, int grouptag, bool allow3dchange)
{
UndoSnapshot u;
// Not the same as previous group?
if((group == UndoGroup.None) ||
(group != lastgroup) ||
(grouptag != lastgrouptag))
{
// Next ticket id
if(++ticketid == int.MaxValue) ticketid = 1;
// Make a snapshot
u = new UndoSnapshot(description, allow3dchange, General.Map.Map.Clone(), ticketid);
// Put it on the stack
undos.Insert(0, u);
LimitUndoRedoLevel(undos);
2007-11-12 22:43:01 +00:00
// Clear all redos
redos.Clear();
// Keep grouping info
lastgroup = group;
lastgrouptag = grouptag;
// Update
General.MainWindow.UpdateInterface();
// Done
return ticketid;
}
else
{
return -1;
}
}
// This removes a previously made undo
public void WithdrawUndo(int ticket)
{
// Anything to undo?
if(undos.Count > 0)
{
// Check if the ticket id matches
if(ticket == undos[0].ticketid)
2007-11-12 22:43:01 +00:00
{
// Remove the last made undo
undos.RemoveAt(0);
2007-11-12 22:43:01 +00:00
// Update
General.MainWindow.UpdateInterface();
}
}
}
// This performs an undo
[Action("undo")]
public void PerformUndo()
{
UndoSnapshot u, r;
// Anything to undo?
if(undos.Count > 0)
{
// Get undo snapshot
u = undos[0];
undos.RemoveAt(0);
2007-11-12 22:43:01 +00:00
// Make a snapshot for redo
r = new UndoSnapshot(u, General.Map.Map.Clone());
// Put it on the stack
redos.Insert(0, r);
LimitUndoRedoLevel(redos);
2007-11-13 06:49:13 +00:00
// Reset grouping
lastgroup = UndoGroup.None;
2007-11-12 22:43:01 +00:00
// Change map set
General.Map.ChangeMapSet(u.map);
// Update
General.MainWindow.RedrawDisplay();
General.MainWindow.UpdateInterface();
}
}
// This performs a redo
[Action("redo")]
public void PerformRedo()
{
UndoSnapshot u, r;
// Anything to redo?
if(redos.Count > 0)
{
// Get redo snapshot
r = redos[0];
redos.RemoveAt(0);
2007-11-12 22:43:01 +00:00
// Make a snapshot for undo
u = new UndoSnapshot(r, General.Map.Map.Clone());
// Put it on the stack
undos.Insert(0, u);
LimitUndoRedoLevel(undos);
2007-11-13 06:49:13 +00:00
// Reset grouping
lastgroup = UndoGroup.None;
2007-11-12 22:43:01 +00:00
// Change map set
General.Map.ChangeMapSet(r.map);
// Update
General.MainWindow.RedrawDisplay();
General.MainWindow.UpdateInterface();
}
}
#endregion
}
}