test/jdk/javax/swing/text/AbstractDocument/8190763/TestCCEOnEditEvent.java
author trebari
Wed, 20 Nov 2019 12:18:46 +0530
changeset 59195 b9bde9d224b9
permissions -rw-r--r--
8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit() Reviewed-by: psadhukhan, pbansal, serb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
59195
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     1
/*
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     2
 * Copyright (c) 2019, Oracle and/or its affiliates. All rights reserved.
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     4
 *
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     7
 * published by the Free Software Foundation.
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     8
 *
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    13
 * accompanied this code).
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    14
 *
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    18
 *
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    21
 * questions.
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    22
 */
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    23
import java.awt.Container;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    24
import java.awt.event.KeyEvent;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    25
import java.awt.Robot;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    26
import javax.swing.JFrame;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    27
import javax.swing.JScrollPane;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    28
import javax.swing.JTextArea;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    29
import javax.swing.SwingUtilities;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    30
import javax.swing.event.DocumentEvent;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    31
import javax.swing.event.UndoableEditEvent;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    32
import javax.swing.event.UndoableEditListener;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    33
import javax.swing.text.BadLocationException;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    34
import javax.swing.text.AbstractDocument;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    35
import javax.swing.text.Document;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    36
import javax.swing.text.PlainDocument;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    37
import javax.swing.undo.CompoundEdit;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    38
import javax.swing.undo.UndoManager;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    39
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    40
/*
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    41
 * @test
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    42
 * @key headful
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    43
 * @bug 8190763
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    44
 * @summary Class Cast Exception on (CompoundEdit) UndoableEditEvent.getEdit()
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    45
 * @run main TestCCEOnEditEvent
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    46
 */
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    47
public class TestCCEOnEditEvent {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    48
    private Container contentPane = null;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    49
    private JTextArea textArea = null;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    50
    private static Robot robot;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    51
    private static JFrame frame;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    52
    public static void main(String[] arguments) throws Exception {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    53
        try{
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    54
            robot = new Robot();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    55
            robot.setAutoDelay(50);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    56
            TestCCEOnEditEvent test = new TestCCEOnEditEvent();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    57
            SwingUtilities.invokeAndWait(new Runnable() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    58
                @Override
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    59
                public void run() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    60
                    test.createAndShowGUI();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    61
                }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    62
            });
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    63
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    64
            robot.keyPress(KeyEvent.VK_ENTER);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    65
            robot.keyRelease(KeyEvent.VK_ENTER);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    66
            robot.waitForIdle();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    67
        } finally {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    68
            SwingUtilities.invokeLater(new Runnable(){
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    69
                @Override
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    70
                public void run(){
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    71
                    frame.dispose();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    72
                }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    73
            });
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    74
        }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    75
    }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    76
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    77
    public void createAndShowGUI() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    78
        frame = new JFrame();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    79
        contentPane  = frame.getContentPane();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    80
        createTextArea();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    81
        frame.setSize(200, 200);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    82
        frame.setVisible(true);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    83
    }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    84
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    85
    private void createTextArea() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    86
        textArea = new JTextArea("Text Area") {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    87
            @Override
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    88
            protected Document createDefaultModel() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    89
                return new PlainDocument() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    90
                    @Override
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    91
                    protected void fireUndoableEditUpdate(UndoableEditEvent event) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    92
                        Object[] listeners = listenerList.getListenerList();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    93
                        for (int index = listeners.length - 2; index >= 0; index -= 2) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    94
                            Object listenerType = listeners[index];
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    95
                            if (listenerType == UndoableEditListener.class) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    96
                                super.fireUndoableEditUpdate(event);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    97
                            }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    98
                        }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
    99
                    }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   100
                };
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   101
            }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   102
        };
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   103
        textArea.getDocument().addUndoableEditListener(new UndoManager() {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   104
            @Override
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   105
            public void undoableEditHappened(UndoableEditEvent event) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   106
                CompoundEdit edit = null;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   107
                try {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   108
                    edit = (CompoundEdit) event.getEdit();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   109
                }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   110
                catch(ClassCastException e ) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   111
                    throw new RuntimeException("Class Cast Exception is thrown on (CompoundEdit) UndoableEditEvent.getEdit()");
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   112
                }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   113
                AbstractDocument.DefaultDocumentEvent documentEvent =
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   114
                        (AbstractDocument.DefaultDocumentEvent) edit;
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   115
                DocumentEvent.EventType editType = documentEvent.getType();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   116
                int editOffset = documentEvent.getOffset();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   117
                int editLength = documentEvent.getLength();
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   118
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   119
            }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   120
        });
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   121
        try {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   122
            textArea.setSelectionStart(textArea.getLineEndOffset(0));
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   123
        }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   124
        catch (BadLocationException exception) {
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   125
        }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   126
        JScrollPane scrollPane = new JScrollPane(textArea,
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   127
                        JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   128
                        JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   129
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   130
        contentPane.add(scrollPane);
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   131
    }
b9bde9d224b9 8190763: Class cast exception on (CompoundEdit) UndoableEditEvent.getEdit()
trebari
parents:
diff changeset
   132
}