Examples of UndoRedoManager

com.volantis.mcs.eclipse.common.odom.undo.UndoRedoManager
An object responsible for tracking changes to a ODOMElement so that they can be undone or redone (after an undo).
ODOMChangeEvents that will be undone/redone collectively are collected into ordered sets (Unit of Work).

The redo capability becomes active after undoing some changes and becomes inactive again when other unrelated changes are applied to the tracked document.
Changes to the status of the undo/redo capability are propagated to any UndoRedoStatusListeners that are registered with this manager.

This class is designed for non concurrent usage.
org.malai.swing.instrument.library.UndoRedoManager

Examples of com.volantis.mcs.eclipse.common.odom.undo.UndoRedoManager

     *
     * @param vocabulary the new value for the vocabulary.
     */
    private void updateVocabulary(String vocabulary) {
        selectedElement.removeChangeListener(selectedElementListener);
        UndoRedoManager undoRedoManager = context.getUndoRedoManager();
        undoRedoManager.demarcateUOW();
        try {
            if (vocabulary != null && vocabulary.length() > 0) {
                selectedElement.setAttribute(
                        DeviceRepositorySchemaConstants.VOCABULARY_ATTRIBUTE_NAME,
                        vocabulary);
            } else {
                selectedElement.removeAttribute(
                        DeviceRepositorySchemaConstants.VOCABULARY_ATTRIBUTE_NAME);
                updateUAProfName(null);
            }
        } finally {
            selectedElement.removeChangeListener(selectedElementListener);
            undoRedoManager.demarcateUOW();
        }
    }

View Full Code Here

Examples of com.volantis.mcs.eclipse.common.odom.undo.UndoRedoManager

     * @param uaProfName the UAProf name.
     */
    private void updateUAProfName(String uaProfName) {
        selectedElement.removeChangeListener(selectedElementListener);


        UndoRedoManager undoRedoManager = context.getUndoRedoManager();
        undoRedoManager.demarcateUOW();


        try {
            Element uaProfElement = getUAProfElement();
            if ((uaProfName == null) || (uaProfName.trim().length() == 0)) {
                if (uaProfElement != null) {
                    uaProfElement.detach();
                }
            } else {
                if (uaProfElement == null) {
                    // create a new element
                    uaProfElement = context.getODOMFactory().element(
                            DeviceRepositorySchemaConstants.UAPROF_ELEMENT_NAME,
                            selectedElement.getNamespace());
                    selectedElement.addContent(uaProfElement);
                }
                uaProfElement.setAttribute(
                        DeviceRepositorySchemaConstants.UAPROF_ATTRIBUTE_NAME,
                        uaProfName);
            }
        } finally {
            selectedElement.addChangeListener(selectedElementListener);
            undoRedoManager.demarcateUOW();
        }
    }

View Full Code Here

Examples of org.malai.swing.instrument.library.UndoRedoManager

    } catch(final IllegalArgumentException ex) {BadaboomCollector.INSTANCE.add(ex); }
    try { codeInserter = new CodeInserter(canvas, getStatusBar()); }
    catch(final IllegalArgumentException ex) {BadaboomCollector.INSTANCE.add(ex); }
    try { editingSelector = new EditingSelector(composer, pencil, hand, metaShapeCustomiser, canvas.getBorderInstrument(), deleter, codeInserter); }
    catch(final IllegalArgumentException ex) {BadaboomCollector.INSTANCE.add(ex); }
    undoManager      = new UndoRedoManager(composer);
    try { paster    = new CopierCutterPaster(composer, drawing, canvas.getMagneticGrid()); }
    catch(final IllegalArgumentException ex) {BadaboomCollector.INSTANCE.add(ex); }
    prefSetters      = new PreferencesSetter(this);
    try { prefActivator  = new PreferencesActivator(composer, prefSetters); }
    catch(final IllegalArgumentException ex) {BadaboomCollector.INSTANCE.add(ex); }

View Full Code Here

0 1

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.