Increase minimum space between Tooltip Title and Table Name in Stats Summary Pop Up

[nbauernfeind]

When hovering over a tab name on a Hierarchical Table, the name of the tab squishes up against the tooltip title.

import io.deephaven.util.QueryConstants
import io.deephaven.engine.table.impl.util.PerformanceQueries
import  io.deephaven.engine.table.impl.util.TableLoggers

qpl = TableLoggers.queryPerformanceLog()
qopl = TableLoggers.queryOperationPerformanceLog()
qpl_tt = PerformanceQueries.queryPerformanceAsTreeTable()
qopl_tt = PerformanceQueries.queryOperationPerformanceAsTreeTable()

I would expect a small amount of space to be reserved between the two to improve readability.

Note that Table widgets don't seem to have this issue:

[vbabich]

Looks like there's no spacing in the grid: