1 11 package org.eclipse.ui; 12 13 import org.eclipse.core.runtime.content.IContentType; 14 import org.eclipse.jface.resource.ImageDescriptor; 15 16 39 public interface IEditorRegistry { 40 41 44 public static final int PROP_CONTENTS = 0x01; 45 46 56 public static final String SYSTEM_EXTERNAL_EDITOR_ID = "org.eclipse.ui.systemExternalEditor"; 58 68 public static final String SYSTEM_INPLACE_EDITOR_ID = "org.eclipse.ui.systemInPlaceEditor"; 70 83 public void addPropertyListener(IPropertyListener listener); 84 85 92 public IEditorDescriptor findEditor(String editorId); 93 94 102 public IEditorDescriptor getDefaultEditor(); 103 104 117 public IEditorDescriptor getDefaultEditor(String fileName); 118 119 132 public IEditorDescriptor getDefaultEditor(String fileName, IContentType contentType); 133 134 147 public IEditorDescriptor[] getEditors(String fileName); 148 149 165 public IEditorDescriptor[] getEditors(String fileName, IContentType contentType); 166 167 179 public IFileEditorMapping[] getFileEditorMappings(); 180 181 195 public ImageDescriptor getImageDescriptor(String filename); 196 197 214 public ImageDescriptor getImageDescriptor(String filename, IContentType contentType); 215 216 222 public void removePropertyListener(IPropertyListener listener); 223 224 232 public void setDefaultEditor(String fileNameOrExtension, String editorId); 233 234 243 public boolean isSystemInPlaceEditorAvailable(String filename); 244 245 254 public boolean isSystemExternalEditorAvailable(String filename); 255 256 265 public ImageDescriptor getSystemExternalEditorImageDescriptor( 266 String filename); 267 } 268 | Popular Tags |