/** Adds the specified list of sponsored results to the display. */
@Override
public void addSponsoredResults(List<SponsoredResult> sponsoredResults) {
for (SponsoredResult result : sponsoredResults) {
sponsoredResultsPanel.addEntry(result);
}
if (!sponsoredResultsPanel.isVisible()) {
sponsoredResultsPanel.setVisible(true);
syncColumnHeader();
}
}
/**
* Updates the column header component in the scroll pane. This depends on the current results
* view and whether the sponsored results are visible.
*/
private void syncColumnHeader() {
Component resultHeader = resultsContainer.getScrollPaneHeader();
if (resultHeader == null) {
// If no headers, use nothing special.
scrollPane.setColumnHeaderView(null);
} else if (!sponsoredResultsPanel.isVisible()) {
// If sponsored results aren't visible, just use the actual header.
scrollPane.setColumnHeaderView(resultHeader);
} else {
// Otherwise, create a combined panel that has both sponsored results & header.
JXPanel headerPanel = new JXPanel();
// Make sure this syncs with the layout for the results & sponsored results!
headerPanel.setLayout(new MigLayout("hidemode 3, gap 0, insets 0", "[]", "[grow][]"));
headerPanel.add(resultHeader, "grow, push, alignx left, aligny top");
DefaultTableColumnModel model = new DefaultTableColumnModel();
TableColumn column = new TableColumn();
model.addColumn(column);
JTableHeader header = new JTableHeader(model);
header.setDefaultRenderer(new TableCellHeaderRenderer());
header.setReorderingAllowed(false);
header.setResizingAllowed(false);
header.setTable(new JXTable(0, 1));
int width = sponsoredResultsPanel.getPreferredSize().width;
int height = resultHeader.getPreferredSize().height;
column.setWidth(width);
Dimension dimension = new Dimension(width, height);
header.setPreferredSize(dimension);
header.setMaximumSize(dimension);
header.setMinimumSize(dimension);
headerPanel.add(header, "aligny top, alignx right");
scrollPane.setColumnHeaderView(headerPanel);
}
scrollPane.validate();
// Resize and repaint table header. This eliminates visual issues due
// to a change in the table format, which can result in an incorrect
// header height or header flickering when a category is selected.
if (resultHeader instanceof JTableHeader) {
((JTableHeader) resultHeader).resizeAndRepaint();
}
}