public void StoreCurrentPage(string action)
{
if (_page != null)
{
_history.PushPage(new TerrainPage(_page), action);
}
else
{
_history.PushPage(null, action);
}
_redoHistory.ClearHistory();
}
/// <summary>
/// Restores the last TerrainPage pushed onto the history stack.
/// </summary>
public void UndoLastPageAction()
{
if (_history.PageHistoryCount > 0)
{
if (_page != null)
{
_redoHistory.PushPage(new TerrainPage(_page), _history.LastPageAction());
}
else
{
_redoHistory.PushPage(null, _history.LastPageAction());
}
_page = _history.PopPage();
RefreshIndexBuffer();
if (_page != null)
{
_page.TerrainPatch.RefreshBuffers = true;
}
}
}