1 19 20 package org.netbeans.modules.editor.options; 21 22 26 public class AbbrevsMIMEProcessor extends MIMEProcessor{ 27 28 29 public static final String PUBLIC_ID = "-//NetBeans//DTD Editor Abbreviations settings 1.0//EN"; public static final String SYSTEM_ID = "http://www.netbeans.org/dtds/EditorAbbreviations-1_0.dtd"; 32 33 public String getPublicID(){ 34 return PUBLIC_ID; 35 } 36 37 38 public String getSystemID(){ 39 return SYSTEM_ID; 40 } 41 42 43 public Class getAsociatedMIMEOptionFile() { 44 return AbbrevsMIMEOptionFile.class; 45 } 46 47 50 public MIMEOptionFile createMIMEOptionFile(BaseOptions o, Object b) { 51 return new AbbrevsMIMEOptionFile(o, b); 52 } 53 54 } 55 | Popular Tags |