1 19 package org.openide.cookies; 20 21 import org.openide.util.Task; 22 23 import java.io.IOException ; 24 25 import javax.swing.text.StyledDocument ; 26 27 28 47 public interface EditorCookie extends LineCookie { 48 53 public void open(); 54 55 60 public boolean close(); 61 62 70 public Task prepareDocument(); 71 72 83 public StyledDocument openDocument() throws IOException ; 84 85 91 public StyledDocument getDocument(); 92 93 97 public void saveDocument() throws IOException ; 98 99 102 public boolean isModified(); 103 104 118 public javax.swing.JEditorPane [] getOpenedPanes(); 119 120 125 interface Observable extends EditorCookie { 126 129 public static final String PROP_DOCUMENT = "document"; 130 131 134 public static final String PROP_MODIFIED = "modified"; 135 136 139 public static final String PROP_OPENED_PANES = "openedPanes"; 140 141 144 void addPropertyChangeListener(java.beans.PropertyChangeListener l); 145 146 149 void removePropertyChangeListener(java.beans.PropertyChangeListener l); 150 } 151 } 152 | Popular Tags |