diff options
| author | Oleg Krasilnikov | 2008-02-06 11:47:46 +0000 |
|---|---|---|
| committer | Oleg Krasilnikov | 2008-02-06 11:47:46 +0000 |
| commit | 622b2739c31ba837fb1c852077c75b4fe4e8deb9 (patch) | |
| tree | c2b4244668f47e816e14339fc80612eb00e12ed3 /build/org.eclipse.cdt.managedbuilder.ui | |
| parent | f27ad8dfdf7d8dc32a4cf45d1c32c7f0c2a7b851 (diff) | |
| download | org.eclipse.cdt-622b2739c31ba837fb1c852077c75b4fe4e8deb9.tar.gz org.eclipse.cdt-622b2739c31ba837fb1c852077c75b4fe4e8deb9.tar.xz org.eclipse.cdt-622b2739c31ba837fb1c852077c75b4fe4e8deb9.zip | |
Check for isOptionVisible() is added to update procedure.
Diffstat (limited to 'build/org.eclipse.cdt.managedbuilder.ui')
| -rw-r--r-- | build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsUI.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsUI.java b/build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsUI.java index 32bd97dc492..771fee9c688 100644 --- a/build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsUI.java +++ b/build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsUI.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2003, 2007 IBM Corporation and others. + * Copyright (c) 2003, 2008 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -415,8 +415,14 @@ public class BuildOptionSettingsUI extends AbstractToolSettingUI { if (optionApplicability == null) return; - // if the option is not enabled then disable it IBuildObject config = fInfo; + + if (!optionApplicability.isOptionVisible(config, holder, option )) { + fieldEditor.setEnabled(false, parent); // temporary: instead of setVisible + return; + } + + // if the option is not enabled then disable it if (!optionApplicability.isOptionEnabled(config, holder, option )) { fieldEditor.setEnabled(false, parent); } else { |