// Don't need to call Designer.enableMenuItems because each call
// to Designer.select already does that.
}
protected SectionWidget sectionWidgetBySectionArea(Designer designer) {
Report report = designer.getReport();
Section s = report.getFirstSectionByArea(sectionArea.getArea());
if (s == null) // Can be null if area was group, for example
// Will not be null; there is always at least one report header section
s = report.getFirstSectionByArea(SectionArea.REPORT_HEADER);
return designer.findSectionWidgetFor(s);
}