[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tab widths with a remapped default face
From: |
Miles Bader |
Subject: |
Re: tab widths with a remapped default face |
Date: |
Sat, 07 Jun 2008 06:41:52 +0900 |
Stefan Monnier <address@hidden> writes:
>> I suppose which of these is "correct" can be argued, but personally the
>> latter seems the least objectionable to me, especially for displaying
>> source code.
>
> Yes, I think it's a lose-lose situation, so we may as well use the
> simpler solution.
Ok.
If there are tons of complaints, at least there will then be more
concrete info about what behavior people rely on.
-Miles
--
Hers, pron. His.