Author: rob.stryker(a)jboss.com Date: 2008-12-03 20:20:45 -0500 (Wed, 03 Dec 2008) New Revision: 12267 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/IPreferenceKeys.java trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/JBossServerUIPlugin.java Log: JBIDE-3342 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/IPreferenceKeys.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/IPreferenceKeys.java 2008-12-04 00:48:27 UTC (rev 12266) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/IPreferenceKeys.java 2008-12-04 01:20:45 UTC (rev 12267) @@ -2,5 +2,5 @@ public interface IPreferenceKeys { - public static final String ENABLED_DECORATORS = "org.jboss.ide.eclipse.as.ui.preferences.enabledDecorators"; + public static final String ENABLED_DECORATORS = "org.jboss.ide.eclipse.as.ui.preferences.enabledDecorators.3.0.0.CR1"; } Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/JBossServerUIPlugin.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/JBossServerUIPlugin.java 2008-12-04 00:48:27 UTC (rev 12266) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/JBossServerUIPlugin.java 2008-12-04 01:20:45 UTC (rev 12267) @@ -69,7 +69,6 @@ IDecoratorManager manager = WorkbenchPlugin.getDefault().getDecoratorManager(); manager.setEnabled("org.jboss.tools.as.wst.server.ui.navigatorDecorator", true); manager.setEnabled("org.jboss.ide.eclipse.as.ui.extensions.xml.decorator", true); - manager.setEnabled("org.jboss.ide.eclipse.as.ui.views.ServerLogView.decorator", true); prefs.setValue(IPreferenceKeys.ENABLED_DECORATORS, true); savePluginPreferences(); }