[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardc
From: |
Drew Adams |
Subject: |
bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face |
Date: |
Sun, 2 Oct 2016 20:48:19 -0700 (PDT) |
> > See http://emacs.stackexchange.com/a/27527/105: the user wants to use a
> > different face from face `variable-pitch'. That seems reasonable.
>
> That's not how I read it. I think they just want to change the look of
> Emacs after invoking variable-pitch-mode, and customizing the variable-pitch
> face seems like the right approach for that.
The question as posed is ambiguous, but it specifically asks how to use a
different face. The answer I gave spoke to both possible interpretations of
the question.
> > Please consider adding an optional FACE argument, defaulting to face
> > `variable-pitch'.
>
> I don't really see why the function should be called variable-pitch-mode any
> more. Maybe select-buffer-face? IIUC this wouldn't have anything to do with
> variable pitches any more, except for the default value, maybe?
Agreed. Unless there is some particular use for limiting the accepted FACE to
variable-pitch faces. In that case, additional logic/control would be needed.
Was there some particular reason that a mode was written specifically for
variable-pitch (whether the face `variable-pitch' or variable-pitch faces in
general), rather than providing a mode for any face? If not then agreed: a
name change would be appropriate.
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, Drew Adams, 2016/10/02
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, npostavs, 2016/10/04
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, Drew Adams, 2016/10/04
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, npostavs, 2016/10/05
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, Drew Adams, 2016/10/05
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, Noam Postavsky, 2016/10/05
- bug#24594: 24.5; `variable-pitch-mode': accept FACE arg instead of hardcoding the face, Drew Adams, 2016/10/05