1 19 20 package org.netbeans.modules.editor.options; 21 22 import org.openide.loaders.XMLDataObject; 23 24 29 public class PropertiesMIMEProcessor extends MIMEProcessor{ 30 31 32 public static final String PUBLIC_ID = "-//NetBeans//DTD Editor Properties settings 1.0//EN"; public static final String SYSTEM_ID = "http://www.netbeans.org/dtds/EditorProperties-1_0.dtd"; 35 36 public String getPublicID(){ 37 return PUBLIC_ID; 38 } 39 40 41 public String getSystemID(){ 42 return SYSTEM_ID; 43 } 44 45 46 public Class getAsociatedMIMEOptionFile() { 47 return PropertiesMIMEOptionFile.class; 48 } 49 50 53 public MIMEOptionFile createMIMEOptionFile(BaseOptions o, Object b) { 54 return new PropertiesMIMEOptionFile(o, b); 55 } 56 57 } 58 | Popular Tags |