1 19 package org.openide.windows; 20 21 import java.awt.Rectangle ; 22 23 import java.beans.PropertyChangeListener ; 24 25 import java.io.Serializable ; 26 27 import java.net.URL ; 28 29 import java.util.Set ; 30 31 32 45 public interface Workspace extends Serializable { 46 48 public static final String PROP_MODES = WindowManager.PROP_MODES; 50 52 public static final String PROP_NAME = "name"; 54 56 public static final String PROP_DISPLAY_NAME = "displayName"; 58 62 63 long serialVersionUID = 2987897537843190271L; 64 65 70 public String getName(); 71 72 76 public String getDisplayName(); 77 78 82 public Set <? extends Mode> getModes(); 83 84 93 public Rectangle getBounds(); 94 95 98 public void activate(); 99 100 109 public Mode createMode(String name, String displayName, URL icon); 110 111 116 public Mode findMode(String name); 117 118 123 public Mode findMode(TopComponent c); 124 125 128 public void remove(); 129 130 133 public void addPropertyChangeListener(PropertyChangeListener list); 134 135 138 public void removePropertyChangeListener(PropertyChangeListener list); 139 } 140 | Popular Tags |