import org.eclipse.ui.forms.widgets.Section; //导入方法依赖的package包/类
/**
* Activates the specified filter.
*
* @param filter a filter that must be activated
*/
private void activateFilter(IFilter filter) {
Section section = getSection();
// Freezes the section widget.
section.setRedraw(false);
// Updates the filter button's state.
Control[] controls = filterButtons.getChildren();
for (int i = 0; i < controls.length; ++i) {
Control control = controls[i];
Button button = (Button) control;
button.setSelection(control.getData() == filter);
}
// If there is a new filter to activate, do the activation job.
if (filter != activeFilter) {
// Deactivates the previous filter.
if (activeFilter != null) { <