bug#15799: 24.3.50; dired-hide-details-mode: Provide default key binding

[Stefan Monnier]

> See bug #14940.  See also bug #14914.

Thanks.  For #14914, there's no doubt for me that we should use
a "[✓] Hide details" menu entry.

>> Also, wouldn't it make sense to try and bring hide-details
>> "closer" to the dired-omit facilities?
> Definitely not.  No relation.  Completely different uses.

Of course, they're different, but I assume the @ was chosen because it's
also used for things like outline-minor-mode, i.e. for other features
that hide parts of the buffer.

So, maybe @ should be a prefix key for "hiding stuff", in which we can
place key bindings for "omit" and for "details".


        Stefan