Juri Linkov <juri@linkov.net> writes:

> Thanks, everything looks right.  The only thing I'm unsure about is
> the default value.  I don't know how important is to highlight the
> distinction between file and non-file buffers.  But it's a matter of
> taste, so I can't argue against or for a specific default value.

I don't know how important it is, either.  :)  But I think it's very
helpful for distinguishing buffers, especially in the smaller text of
the tab-line.  It seems to me that it does no harm, and it seems more
useful than not, so it seems that it might as well be the default.

> Ideally, the default value should reflect preferences of the most
> users, but even the conducted surveys don't help, as the discussion
> about the toolbar indicates.

I don't think we should use design-by-committee for every option, even
if we could.  To a certain extent, users won't know what they want until
they try it (cf. Ford's famous saying about asking his customers what
they wanted).  I think we should set the most useful defaults, and users
can customize to their taste.

That's my opinion, anyway.  I'll adjust the patch according to whatever
you or Eli think is best.  Let me know.

By the way, the attached patch tidies up a couple of things, including
removing a FIXME that seems to be not a bug after all.

Thanks for your help.