[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: adding a standard font-lock-number-face
From: |
Donald Ephraim Curtis |
Subject: |
Re: adding a standard font-lock-number-face |
Date: |
Fri, 17 Jun 2011 15:42:06 -0500 |
Deadlock :: http://mail.python.org/pipermail/python-mode/2011-June/001161.html
So python-mode/python.el *would*, but since Emacs doesn't have a "number-face"
built in, they dare not. And Emacs won't because no packages do – although
`jdee` does define a `jde-java-font-lock-number-face`.
On Jun 17, 2011, at 11:25, Stefan Monnier wrote:
>> that will likely help also to improve things avoiding the creation of
>> new non standard faces in external packages.
>
> Show me the packages which have a "number-face" and could hence benefit
> from sharing a standardized face for it.
- adding a standard font-lock-number-face, Fabian Ezequiel Gallina, 2011/06/16
- Re: adding a standard font-lock-number-face, Stefan Monnier, 2011/06/16
- Re: adding a standard font-lock-number-face, Fabian Ezequiel Gallina, 2011/06/16
- Re: adding a standard font-lock-number-face, Stefan Monnier, 2011/06/17
- Re: adding a standard font-lock-number-face, Lennart Borgman, 2011/06/17
- Re: adding a standard font-lock-number-face, Fabian Ezequiel Gallina, 2011/06/17
- Re: adding a standard font-lock-number-face, Stefan Monnier, 2011/06/17
- Re: adding a standard font-lock-number-face,
Donald Ephraim Curtis <=
- Re: adding a standard font-lock-number-face, Glenn Morris, 2011/06/17
- Re: adding a standard font-lock-number-face, Donald Ephraim Curtis, 2011/06/17