Incorrect documentation for default lineWidth of Plot.tip #2354
Description
The documentation for Plot.tip lists the following under "Tip options":
lineWidth - the line width in ems, for wrapping; defaults to Infinity
However, the default lineWidth value is actually set to 20 in the source code, a clear contradiction.
(The effect of this can be observed in real-world code by explicitly setting lineWidth: Infinity and noting how the tooltip box will grow wider than with the implicit default value.)