All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.netbeans.editor.GuardedDocumentEvent Maven / Gradle / Ivy

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.  See the License for the
 * specific language governing permissions and limitations
 * under the License.
 */

package org.netbeans.editor;

import javax.swing.event.DocumentEvent;
import javax.swing.text.BadLocationException;
import javax.swing.undo.CannotUndoException;
import javax.swing.undo.CannotRedoException;

/**
* Attempt to insert or remove from the guarded block has been done.
*
* @version 1.0
* @author Miloslav Metelka
*/

public class GuardedDocumentEvent extends BaseDocumentEvent {

    static final long serialVersionUID =-9204897347010955248L;

    public GuardedDocumentEvent(GuardedDocument doc, int offset, int length,
                                DocumentEvent.EventType type) {
        super(doc, offset, length, type);
    }

    public void undo() throws CannotUndoException {
        GuardedDocument gdoc = (GuardedDocument)getDocument();
        boolean origBreak = gdoc.breakGuarded;
        gdoc.breakGuarded = true;
        super.undo();
        if (!origBreak) {
            gdoc.breakGuarded = false;
        }
    }

    public void redo() throws CannotRedoException {
        GuardedDocument gdoc = (GuardedDocument)getDocument();
        boolean origBreak = gdoc.breakGuarded;
        super.redo();
        if (!origBreak) {
            gdoc.breakGuarded = false;
        }
    }

}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy