#
  Add the given TableColumn to the Table.
  @param c  The column to add.

end_state()

finally()

get_checked()

 Present page size

 Return item currently under the clicked cursor

swj

 Return a list of items highlighted

#
  Return a list of rows selected
  @return A list of rows currently selected

 Return item currently under the clicked cursor

#
 Move to the given position.  Either parameter may be omitted.
 @param x   The row to move to
 @param y   The left offset to move to

handle_key_down(e)

handle_press(e)

 Re-draw the text area.  Use double-buffering to avoid flicker.

row_get_prev_down()

 Return row currently under the clicked cursor

 Return row currently under the clicked cursor

#
  Set the height of the buttons at the top in pixels.  If not
  invoked, a sensible default will be used.
  @param x   The height

#
  Set the contents of the table.  The parameter should be a
  two dimensional list.  Each element of the list should
  correspond to one row of the table.
  @param x   The contents

 Called on resize, buttons resized, or contents amended

#
  Configure the table so that several rows of the table may be highlighted.

#
  Configure the table so that one row of the table may be highlighted.

#
  Set the current selections to the list l, which is a list of
  row numbers.
  @param l   The list of item numbers.