[PATCH] Print nice names for nitrox mixes in the divelist

[Linus Torvalds]

On Sat, Aug 16, 2014 at 9:44 AM, Dirk Hohndel <dirk at hohndel.org> wrote:
>
> But to the average user, having the unit makes this more useful.

Bah. It's not like it's all that confusing. If you have anything there
at all, you're Nitrox certified, and you surely know about O2
percentages.

A tool-tip (perhaps at just the column header) would be equally
useful, and would *not* have the downside of making the entries
bigger.

Btw, if you really are a clueless user, you'll never see the gasmix at
all, because you'll have no idea that you need to middle-click on the
column headers to get the choice of columns to see.

THAT is much more confusing and subtle than "32" vs "EAN32".

And again, a tooltip would be the much better solution.

But whatever. Ignore real concerns by real users to "fix" concerns
that I doubt anybody ever got confused over.

              Linus