I've been meaning to ask: how can I detect a double click on a header,
now that they are no longer part of the table proper? Is the only way to
watch the time between left button release and press?
The obvious code doesn't work:
@table.rowHeader.connect(SEL_DOUBLECLICKED) {...}