/** * Redraw the table's footers. The footers will be re-rendered synchronously. */ public void redrawFooters() { createHeaders(true); }
/** * Redraw the table's headers. The headers will be re-rendered synchronously. */ public void redrawHeaders() { createHeaders(false); }
/** * Refresh the headers and column widths. */ private void refreshHeadersAndColumnsImpl() { // Refresh the column widths if needed. if (columnWidthsDirty) { columnWidthsDirty = false; refreshColumnWidths(); } // Render the headers and footers. boolean wereHeadersDirty = headersDirty; headersDirty = false; if (wereHeadersDirty || !headerRefreshDisabled) { createHeaders(false); } if (wereHeadersDirty || !footerRefreshDisabled) { createHeaders(true); } }
/** * Redraw the table's footers. The footers will be re-rendered synchronously. */ public void redrawFooters() { createHeaders(true); }
/** * Redraw the table's footers. The footers will be re-rendered synchronously. */ public void redrawFooters() { createHeaders(true); }
/** * Redraw the table's headers. The headers will be re-rendered synchronously. */ public void redrawHeaders() { createHeaders(false); }
/** * Redraw the table's headers. The headers will be re-rendered synchronously. */ public void redrawHeaders() { createHeaders(false); }
/** * Refresh the headers and column widths. */ private void refreshHeadersAndColumnsImpl() { // Refresh the column widths if needed. if (columnWidthsDirty) { columnWidthsDirty = false; refreshColumnWidths(); } // Render the headers and footers. boolean wereHeadersDirty = headersDirty; headersDirty = false; if (wereHeadersDirty || !headerRefreshDisabled) { createHeaders(false); } if (wereHeadersDirty || !footerRefreshDisabled) { createHeaders(true); } }
/** * Refresh the headers and column widths. */ private void refreshHeadersAndColumnsImpl() { // Refresh the column widths if needed. if (columnWidthsDirty) { columnWidthsDirty = false; refreshColumnWidths(); } // Render the headers and footers. boolean wereHeadersDirty = headersDirty; headersDirty = false; if (wereHeadersDirty || !headerRefreshDisabled) { createHeaders(false); } if (wereHeadersDirty || !footerRefreshDisabled) { createHeaders(true); } }