1 19 20 package org.netbeans.modules.j2ee.sun.ide.j2ee; 21 import java.util.ResourceBundle ; 22 import org.openide.nodes.BeanNode; 23 import org.openide.util.HelpCtx; 24 25 29 public class PluginOptions { 30 private static final PluginOptions INSTANCE = new PluginOptions(); 31 32 public String displayName() { 33 return ResourceBundle.getBundle( 34 "org.netbeans.modules.j2ee.sun.ide.dm.Bundle").getString("FACTORY_DISPLAYNAME"); } 36 37 public HelpCtx getHelpCtx() { 38 return null; } 40 41 61 public String getLogLevel() { 62 return PluginProperties.getDefault().getLogLevel(); 63 } 64 65 public void setLogLevel(String ll) { 66 PluginProperties.getDefault().setLogLevel(ll); 67 } 68 69 public Integer getCharsetDisplayPreference() { 70 return PluginProperties.getDefault().getCharsetDisplayPreference(); 71 } 72 73 public void setCharsetDisplayPreference(Integer displayPreference) { 74 PluginProperties.getDefault().setCharsetDisplayPreference(displayPreference); 75 } 76 77 public Boolean getIncrementalDeploy(){ 78 return PluginProperties.getDefault().getIncrementalDeploy(); 79 } 80 81 public void setIncrementalDeploy(Boolean b) { 82 PluginProperties.getDefault().setIncrementalDeploy(b); 83 } 84 85 private static BeanNode createViewNode() throws java.beans.IntrospectionException { 86 return new BeanNode(INSTANCE); 87 } 88 } 89 | Popular Tags |