Interface TableSizingTarget

Width of the space the table sits in, in px. Given it, the sizes are stored as proportions of it rather than as pixels.

Pixels are a measurement of the window the drag happened in: a table sized in fullscreen keeps those pixels when fullscreen ends and hangs off the edge of the narrower editor, because table-layout: fixed widens a table to fit its columns whatever max-width says. Proportions survive the change of window, which is what a column width means to the person who dragged it.

Path of the table to size. Defaults to the table holding the selection; the handles pass the table under the pointer instead, so a drag never has to move the caret into the table it resizes.