Option to increase information density

[mofojed]

As a power user, I want increase the information density to allow for more information to appear on the screen at once. Things like reducing column/row padding in grids, decreasing font size, decreasing padding in plots, decreasing tab padding/size, etc.

[dsmmcken]

We default slightly higher in font-size and in cell y-padding, and marginally higher in x-padding. A higher density option that lowers font-size and padding would increase density, we should also offer the reverse.

[dsmmcken]

In terms of just the table:

1px taller text, and overall cell height is 3px taller per cell.

Horizontally it's mixed, some cells are wider by default some are narrower, but padding is still larger. Overall though we come out slightly wider.

[dsmmcken]

In practice, on a fresh console running a single command, we are showing 6 rows less than swing. We lose a bit of space from browser chrome, but also we are proportionally allocating more space to the console (we have less ui-chrome in the console panel). So we could reduce it's default height and still be comparable. Currently it's 50/50 split, but maybe 40/60 or something would be a better default. Our tabs are slightly taller, and so are out header columns, but I think there's value in that in terms of click target size and would prefer to squeeze elsewhere.

[rbasralian]

Just adding another example to this:

These two screenshots were taken w/ the boundaries between the charts/tables exactly lined up, more or less to the pixel.

Here is the second screenshot again, with font size increased to 12:

This give me a few thoughts:

• The web UI should let users change the table header/text font sizes.
• The web should support 'auto resize all columns' like Swing does, which should make the column widths fit the headers very tightly, so more columns fit on screen. (I think the Swing rule is that it the header or the data, whichever is wider, up to some reasonable max # of pixels.)
• The web plots are wasting a decent amount of space below the plot.
• The column headers could probably have a bit less padding on top/bottom.

[dsmmcken]

That's useful feedback. Thanks for the screenshots.

the header or the data, whichever is wider

We have the same logic. I think we are too zealous with the horizontal padding on the headers, which combined with the font-size difference probably accounts for most of the horizontal difference.

The web plots are wasting a decent amount of space below the plot.

Possibly reserving space for the x-axis label even though none is set?

The column headers could probably have a bit less padding on top/bottom.

This is one spot I think the extra couple vertical pixels are worth spending, as the headers act as buttons. The sort/reverse indicator bars also use this reserved space. We should shave it everywhere else though.