1 19 package org.openide.text; 20 21 import javax.swing.event.ChangeEvent ; 22 import javax.swing.text.StyledDocument ; 23 24 25 31 final class EnhancedChangeEvent extends ChangeEvent { 32 33 private boolean closing; 34 35 36 private StyledDocument doc; 37 38 public EnhancedChangeEvent(Object source, StyledDocument doc, boolean closing) { 39 super(source); 40 this.doc = doc; 41 this.closing = closing; 42 } 43 44 45 public boolean isClosingDocument() { 46 return closing; 47 } 48 49 50 public StyledDocument getDocument() { 51 return doc; 52 } 53 } 54 | Popular Tags |