/*
This file belongs to the Servoy development and deployment environment, Copyright (C) 1997-2010 Servoy BV
This program is free software; you can redistribute it and/or modify it under
the terms of the GNU Affero General Public License as published by the Free
Software Foundation; either version 3 of the License, or (at your option) any
later version.
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 Affero General Public License for more details.
You should have received a copy of the GNU Affero General Public License along
with this program; if not, see http://www.gnu.org/licenses or write to the Free
Software Foundation,Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301
*/
package com.servoy.j2db;
import javax.swing.event.UndoableEditEvent;
import javax.swing.undo.UndoManager;
/**
* @author jcompagner
*
*/
public class ControllerUndoManager extends UndoManager
{
private UndoManager formUndoManager;
private boolean ignore;
public void setFormUndoManager(UndoManager formUndoManager)
{
this.formUndoManager = formUndoManager;
}
/*
* (non-Javadoc)
*
* @see javax.swing.undo.UndoManager#undoableEditHappened(javax.swing.event.UndoableEditEvent)
*/
@Override
public void undoableEditHappened(UndoableEditEvent e)
{
if (ignore) return;
if (formUndoManager == null || formUndoManager == this)
{
super.undoableEditHappened(e);
}
else
{
formUndoManager.undoableEditHappened(e);
}
}
public void setIgnoreEdits(boolean ignore)
{
this.ignore = ignore;
}
public boolean isIgnoreEdits()
{
return this.ignore;
}
/**
*
*/
@Override
public synchronized void discardAllEdits()
{
if (formUndoManager == null || formUndoManager == this)
{
super.discardAllEdits();
}
else
{
formUndoManager.discardAllEdits();
}
}
}