From: Alex <agrambot@gmail.com>
To: Eli Zaretskii <eliz@gnu.org>
Cc: cloos@jhcloos.com, emacs-devel@gnu.org
Subject: Re: Native line numbers, final testing
Date: Wed, 12 Jul 2017 22:11:12 -0600 [thread overview]
Message-ID: <87d1959dsv.fsf@lylat> (raw)
In-Reply-To: <8337a1hxhb.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 13 Jul 2017 05:38:56 +0300")
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Alex <agrambot@gmail.com>
>> Cc: cloos@jhcloos.com, emacs-devel@gnu.org
>> Date: Wed, 12 Jul 2017 14:03:15 -0600
>>
>> Eli Zaretskii <eliz@gnu.org> writes:
>>
>> >> From: Alex <agrambot@gmail.com>
>> >> Cc: cloos@jhcloos.com, emacs-devel@gnu.org
>> >> Date: Wed, 12 Jul 2017 11:22:51 -0600
>> >>
>> >> > It should be sensible, I agree. But "sensible" doesn't necessarily
>> >> > mean identical to the default face's font.
>> >>
>> >> Sure, but I maintain in this case that it does mean identical to the
>> >> default face's font.
>> >
>> > I don't understand why, and I don't think I agree.
>>
>> I don't see a single reason to make it different.
>
> It's for when the default face uses a variable-pitch font, as I
> believe I already explained.
I wasn't referring to the fixed-pitch part, just the serif part. The
addition of serifs is orthogonal to fixing the case of a
variable-pitched default font. In your patch, you injected an unrelated
property into the face that has nothing to do with fixing the
variable-pitch issue.
Just to make myself extra clear: I am in favour of forcing line numbers
to be fixed-pitch by default. However, I'm not in favour of using
"Monospace Serif" instead of "Monospace" considering that the default is
the latter.
> And instead of repeating the same arguments again and again, I think
> we should simply agree to disagree, and wait for others to offer their
> opinions and experiences about this.
I don't see how the discussion was about to devolve into repetition
(though there appears to have been some miscommunication). While I agree
that others should give their input, I find it disappointing that you
ignored the rest of my email.
>> >> (insert (propertize "hello there!" 'face 'fixed-pitch))
>> >>
>> >> This text increases along with the default face with "C-x +". Why does
>> >> the same not apply to the line-number face?
>> >
>> > I don't know. Feel free to investigate and publish the findings.
>>
>> Well, it definitely seems like a bug to me. text-scale-mode uses
>> face-remap-add-relative on 'default, but I don't see why this would
>> cause an issue. The manual states that any 'unspecified attributes mean
>> that the attributes are taken from the default face, so I don't see why
>> adding :inherit 'default should even make a difference.
>>
>> Perhaps I should file a bug report?
>
> I don't think I understood what you consider a bug here. Face
> attributes are calculated when the face is created, they are not
> updated whenever the default face changes.
Not in the case of 'unspecified, right? Evaluating (set-face-bold
'default t) changes every face with an 'unspecified bold attribute to
bold.
Just to be clear, this is what the manual states[1]:
Apart from the values given below, each face attribute can have the
value ‘unspecified’. This special value means that the face doesn’t
specify that attribute directly. An ‘unspecified’ attribute tells Emacs
to refer instead to a parent face (see the description ‘:inherit’
attribute below); or, failing that, to an underlying face (*note
Displaying Faces::). The ‘default’ face must specify all attributes.
So if I'm understanding this correctly, then you shouldn't have to
inherit from 'default since any unspecified attributes already fallback
to 'default. The behaviour in this case is different, therefore this is
a bug (something isn't handling face-remapping-alist correctly).
Footnotes:
[1] (info "(elisp) Face Attributes")
next prev parent reply other threads:[~2017-07-13 4:11 UTC|newest]
Thread overview: 90+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-30 14:49 Native line numbers, final testing Eli Zaretskii
2017-06-30 17:51 ` Alex
2017-06-30 18:20 ` Eli Zaretskii
2017-06-30 19:06 ` Alex
2017-06-30 19:55 ` Eli Zaretskii
2017-06-30 21:15 ` Alex
2017-07-01 8:00 ` Eli Zaretskii
2017-07-01 21:00 ` Alex
2017-07-02 2:40 ` Eli Zaretskii
2017-07-02 5:16 ` Alex
2017-07-02 15:10 ` Eli Zaretskii
2017-07-02 16:47 ` Stefan Monnier
2017-07-02 16:51 ` Eli Zaretskii
2017-07-02 17:38 ` Stefan Monnier
2017-07-02 19:27 ` Eli Zaretskii
2017-07-03 5:06 ` Alex
2017-07-03 15:24 ` Eli Zaretskii
2017-07-04 19:36 ` Alex
2017-07-05 17:39 ` Eli Zaretskii
2017-07-07 2:46 ` Alex
2017-07-07 6:19 ` Eli Zaretskii
2017-07-07 9:24 ` Eli Zaretskii
2017-07-08 20:51 ` Alex
2017-07-09 20:16 ` James Cloos
2017-07-09 21:45 ` Yuri Khan
2017-07-10 2:33 ` Eli Zaretskii
2017-07-10 7:09 ` Yuri Khan
2017-07-10 17:02 ` Eli Zaretskii
2017-07-10 2:31 ` Eli Zaretskii
2017-07-10 5:35 ` James Cloos
2017-07-10 17:00 ` Eli Zaretskii
2017-07-10 18:15 ` Filipe Silva
2017-07-10 18:18 ` Eli Zaretskii
2017-07-10 18:23 ` Filipe Silva
2017-07-10 18:32 ` James Cloos
2017-07-11 20:58 ` Alex
2017-07-11 21:18 ` Filipe Silva
2017-07-11 21:20 ` Filipe Silva
2017-07-11 21:37 ` Alex
2017-07-12 2:35 ` Eli Zaretskii
2017-07-12 2:53 ` Alex
2017-07-12 14:21 ` Eli Zaretskii
2017-07-12 17:22 ` Alex
2017-07-12 17:25 ` Alex
2017-07-12 18:38 ` Eli Zaretskii
2017-07-12 20:03 ` Alex
2017-07-13 2:38 ` Eli Zaretskii
2017-07-13 4:11 ` Alex [this message]
2017-07-13 15:56 ` Eli Zaretskii
2017-07-26 3:50 ` Alex
2017-07-26 14:42 ` Eli Zaretskii
2017-07-29 6:12 ` Alex
2017-07-29 7:01 ` Eli Zaretskii
2017-07-07 9:47 ` Eli Zaretskii
2017-07-07 9:49 ` Eli Zaretskii
2017-07-07 11:14 ` Filipe Silva
2017-07-07 12:21 ` Eli Zaretskii
2017-07-07 12:29 ` Eli Zaretskii
[not found] ` <CAEwkUWN8GkCyOiF4jEgKuZwJHhvMgJi9yVnvggRvu+Yddfp4qQ@mail.gmail.com>
2017-07-07 12:56 ` Filipe Silva
2017-07-01 1:59 ` Filipe Silva
2017-07-02 19:27 ` James Nguyen
2017-07-03 2:33 ` Eli Zaretskii
2017-07-03 3:22 ` James Nguyen
2017-07-03 15:58 ` Eli Zaretskii
2017-07-03 17:04 ` James Nguyen
2017-07-04 10:57 ` Filipe Silva
2017-07-04 11:00 ` Filipe Silva
2017-07-04 13:51 ` Kaushal Modi
2017-07-04 14:30 ` Eli Zaretskii
2017-07-04 14:32 ` Eli Zaretskii
2017-07-04 14:48 ` Filipe Silva
2017-07-04 14:50 ` Filipe Silva
2017-07-04 15:44 ` Eli Zaretskii
2017-07-04 16:22 ` Filipe Silva
2017-07-04 16:34 ` Filipe Silva
2017-07-04 16:35 ` Richard Copley
2017-07-04 16:44 ` Eli Zaretskii
2017-07-04 17:13 ` Richard Copley
2017-07-04 17:35 ` Filipe Silva
2017-07-04 17:48 ` Eli Zaretskii
2017-07-04 17:52 ` Stefan Monnier
2017-07-10 18:22 ` Filipe Silva
2017-07-10 20:28 ` Stefan Monnier
2017-07-04 17:47 ` Eli Zaretskii
2017-07-04 17:50 ` Alex
2017-07-04 18:24 ` Eli Zaretskii
2017-07-04 18:37 ` Richard Copley
2017-07-04 18:43 ` Eli Zaretskii
2017-07-05 20:24 ` Andy Moreton
2017-07-06 17:24 ` Eli Zaretskii
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87d1959dsv.fsf@lylat \
--to=agrambot@gmail.com \
--cc=cloos@jhcloos.com \
--cc=eliz@gnu.org \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).