Author: rob.stryker(a)jboss.com Date: 2008-12-04 15:55:58 -0500 (Thu, 04 Dec 2008) New Revision: 12290 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-3344 - regression fixed 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 20:03:04 UTC (rev 12289) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/IPreferenceKeys.java 2008-12-04 20:55:58 UTC (rev 12290) @@ -3,4 +3,5 @@ public interface IPreferenceKeys { public static final String ENABLED_DECORATORS = "org.jboss.ide.eclipse.as.ui.preferences.enabledDecorators.1"; + public static final String DISABLE_SHOW_SERVER_VIEW = "org.jboss.ide.eclipse.as.ui.preferences.disabled.automatic.server.view"; } 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 20:03:04 UTC (rev 12289) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/JBossServerUIPlugin.java 2008-12-04 20:55:58 UTC (rev 12290) @@ -32,6 +32,8 @@ import org.eclipse.ui.internal.WorkbenchPlugin; import org.eclipse.ui.internal.decorators.DecoratorDefinition; import org.eclipse.ui.plugin.AbstractUIPlugin; +import org.eclipse.wst.server.ui.internal.ServerUIPlugin; +import org.eclipse.wst.server.ui.internal.ServerUIPreferences; import org.jboss.ide.eclipse.as.core.JBossServerCorePlugin; import org.osgi.framework.BundleContext; @@ -70,8 +72,14 @@ manager.setEnabled("org.jboss.tools.as.wst.server.ui.navigatorDecorator", true); manager.setEnabled("org.jboss.ide.eclipse.as.ui.extensions.xml.decorator", true); prefs.setValue(IPreferenceKeys.ENABLED_DECORATORS, true); - savePluginPreferences(); } + + if( !prefs.getBoolean(IPreferenceKeys.DISABLE_SHOW_SERVER_VIEW)) { + new ServerUIPreferences().setShowOnActivity(false); + prefs.setValue(IPreferenceKeys.DISABLE_SHOW_SERVER_VIEW, true); + } + + savePluginPreferences(); } /**