1 19 20 package org.netbeans.modules.html.editor.options; 21 22 import java.beans.*; 23 import java.util.MissingResourceException ; 24 import org.netbeans.modules.editor.options.BaseOptionsBeanInfo; 25 import org.openide.util.NbBundle; 26 27 32 public class HTMLOptionsBeanInfo extends BaseOptionsBeanInfo { 33 34 private static final String [] EXPERT_PROP_NAMES = new String [] { 35 HTMLOptions.COMPLETION_INSTANT_SUBSTITUTION_PROP, 36 HTMLOptions.COMPLETION_LOWER_CASE_PROP, 37 HTMLOptions.JAVADOC_AUTO_POPUP_PROP, 38 HTMLOptions.JAVADOC_PREFERRED_SIZE_PROP, 39 HTMLOptions.JAVADOC_BGCOLOR, 40 HTMLOptions.CODE_FOLDING_UPDATE_TIMEOUT_PROP 41 }; 42 43 public HTMLOptionsBeanInfo() { 44 super("/org/netbeans/modules/html/editor/resources/htmlOptions"); } 46 47 protected String [] getPropNames() { 48 return HTMLOptions.HTML_PROP_NAMES; 49 } 50 51 protected void updatePropertyDescriptors() { 52 super.updatePropertyDescriptors(); 53 setExpert(EXPERT_PROP_NAMES); 54 } 55 56 protected Class getBeanClass() { 57 return HTMLOptions.class; 58 } 59 60 63 protected String getString(String key) { 64 try { 65 return NbBundle.getMessage(HTMLOptionsBeanInfo.class, key); 66 } catch (MissingResourceException e) { 67 return super.getString(key); 68 } 69 } 70 71 } 72 | Popular Tags |