Merge pull request #82 from zendtech/dariusz

ZSTD-5123 corrected enabling/disabling all widgets
zendtech · Sep 17, 2015 · 95d2f03 · 95d2f03
2 parents 240ecb3 + 14b5805
commit 95d2f03
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...er-deployment-eclipse/org.zend.php.server.ui/src/org/zend/php/server/ui/ServersCombo.java b/...er-deployment-eclipse/org.zend.php.server.ui/src/org/zend/php/server/ui/ServersCombo.java
@@ -171,6 +171,9 @@ public void selectByTarget(String id) {
 	 */
 	public void setEnabled(boolean enabled) {
 		serversCombo.setEnabled(enabled);
+		if (useDefaultServer) {
+			useDefaultServerButton.setEnabled(enabled);
+		}
 		if (addServer) {
 			addServerButton.setEnabled(enabled);
 		}