若要调整列的大小，用户必须双击分隔符和相邻列之间的边界。

To resize a column, the user must double-click on the boundary between the divider and the adjacent column.

youdao

如果已通过使用此属性增加了分隔符的宽度，则当用户双击分隔符与相邻列之间的边界时，会发生此事件。

If the width of a divider has been increased through the use of this property, this event occurs when the user double-clicks the boundary between the divider and the adjacent column.

youdao

我们用来寻找相邻点之间的差异的技巧是，创建一个数据帧，它的列是给定连续数据点， 分别是先前数据点（prior）、当前数据点（current）、后继数据点（following）。

The trick we will use to find all the differences among neighboring data points is to create a data frame whose columns in a given row correspond to the prior, current, and following data point.

youdao