mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-23 22:52:11 +02:00
bug 400028: Wrench quirks in Language Settings Providers tab UI in project properties properties
This commit is contained in:
parent
fb4dffcfa0
commit
0f512a57cf
1 changed files with 2 additions and 2 deletions
|
@ -378,9 +378,9 @@ public class LanguageSettingsProviderTab extends AbstractCPropertyTab {
|
||||||
tableProvidersViewer.refresh();
|
tableProvidersViewer.refresh();
|
||||||
tableProvidersViewer.setChecked(newProvider, isChecked);
|
tableProvidersViewer.setChecked(newProvider, isChecked);
|
||||||
tableProviders.setSelection(pos);
|
tableProviders.setSelection(pos);
|
||||||
tableProvidersViewer.refresh(newProvider);
|
|
||||||
|
|
||||||
saveCheckedProviders();
|
saveCheckedProviders();
|
||||||
|
tableProvidersViewer.refresh(newProvider);
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
@ -460,8 +460,8 @@ public class LanguageSettingsProviderTab extends AbstractCPropertyTab {
|
||||||
replaceSelectedProvider(newProvider); // will refresh and save checked providers
|
replaceSelectedProvider(newProvider); // will refresh and save checked providers
|
||||||
createOptionsPage(newProvider);
|
createOptionsPage(newProvider);
|
||||||
} else {
|
} else {
|
||||||
tableProvidersViewer.refresh(checkedProvider);
|
|
||||||
saveCheckedProviders();
|
saveCheckedProviders();
|
||||||
|
tableProvidersViewer.refresh(checkedProvider);
|
||||||
// option page is reused
|
// option page is reused
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue