Interface TableHeaderRenderer<V>

  • Type Parameters:
    V - Type of data stored in each table cell
    All Known Implementing Classes:
    DefaultTableHeaderRenderer

    public interface TableHeaderRenderer<V>
    This interface can be implemented if you want to customize how table headers are drawn.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void drawHeader​(Table<V> table, java.lang.String label, int index, TextGUIGraphics textGUIGraphics)
      Called by the table when it's time to draw a header, you can see how much size is available by checking the size of the textGUIGraphics.
      TerminalSize getPreferredSize​(Table<V> table, java.lang.String label, int columnIndex)
      Called by the table when it wants to know how big a particular table header should be
    • Method Detail

      • getPreferredSize

        TerminalSize getPreferredSize​(Table<V> table,
                                      java.lang.String label,
                                      int columnIndex)
        Called by the table when it wants to know how big a particular table header should be
        Parameters:
        table - Table containing the header
        label - Label for this header
        columnIndex - Column index of the header
        Returns:
        Size this renderer would like the header to have
      • drawHeader

        void drawHeader​(Table<V> table,
                        java.lang.String label,
                        int index,
                        TextGUIGraphics textGUIGraphics)
        Called by the table when it's time to draw a header, you can see how much size is available by checking the size of the textGUIGraphics. The top-left position of the graphics object is the top-left position of this header.
        Parameters:
        table - Table containing the header
        label - Label for this header
        index - Column index of the header
        textGUIGraphics - Graphics object to header with