Author: rob.stryker(a)jboss.com
Date: 2008-04-24 19:47:17 -0400 (Thu, 24 Apr 2008)
New Revision: 7788
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/wizards/JBossRuntimeWizardFragment.java
Log:
very tiny changes to wizard for UI cleanliness
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/wizards/JBossRuntimeWizardFragment.java
===================================================================
---
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/wizards/JBossRuntimeWizardFragment.java 2008-04-24
23:42:19 UTC (rev 7787)
+++
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/wizards/JBossRuntimeWizardFragment.java 2008-04-24
23:47:17 UTC (rev 7788)
@@ -139,7 +139,7 @@
homeDir = rt.getRuntime().getLocation().toOSString();
config = rt.getJBossConfiguration();
configurations.setConfiguration(config);
- configLabel.setText(Messages.wf_ConfigLabel + ": " + config);
+ configLabel.setText(Messages.wf_ConfigLabel);
IVMInstall install = rt.getVM();
String vmName = install.getName();
@@ -386,9 +386,10 @@
configurations.setJBossHome(homeDirText.getText());
} else {
configurations.getControl().setEnabled(true);
- configurations.setJBossHome(homeDirText.getText());
- if( !homeDirText.getText().equals(configurations.getInput()))
+ if( !homeDirText.getText().equals(configurations.getInput())) {
+ configurations.setJBossHome(homeDirText.getText());
configurations.setConfiguration(IJBossServerConstants.DEFAULT_SERVER_NAME);
+ }
}
int sel = jreCombo.getSelectionIndex();
Show replies by date