1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-25 09:55:29 +02:00

Bug #184509: fix for <resourceFilter="file">

This commit is contained in:
Oleg Krasilnikov 2007-05-02 12:39:47 +00:00
parent 904a9560e3
commit cdffa7b8c0

View file

@ -67,7 +67,7 @@ public class BuildOptionSettingsUI extends AbstractToolSettingUI {
super.createFieldEditors();
// Iterate over the options in the category and create a field editor
// for each
Object[][] options = category.getOptions(fInfo.getParent(), optionHolder);
Object[][] options = category.getOptions(fInfo, optionHolder);
for (int index = 0; index < options.length; ++index) {
// Get the option