Cannot propertize mode-name

Cannot propertize mode-name

[Juanma Barranquero]

This:

 (setq mode-name (propertize "my-mode" 'display '(height (+ 5))))

used to make the mode-name display in a bigger size. In the trunk it
doesn't work anymore.


                                                           /L/e/k/t/u

Re: Cannot propertize mode-name

[Kim F. Storm]

Juanma Barranquero <lektu@terra.es> writes:

> This:
> 
>  (setq mode-name (propertize "my-mode" 'display '(height (+ 5))))
> 
> used to make the mode-name display in a bigger size. In the trunk it
> doesn't work anymore.

Indeed.  

Also, format-mode-line doesn't return the propertized string
which indicates a generic problem with non-face properties on
strings in the mode line:

(setq mode-name (propertize "my-mode" 'display '(height (+ 5))))
#("my-mode" 0 7 (display (height (+ 5))))
(format-mode-line '((t mode-name)))
"my-mode"


-- 
Kim F. Storm <storm@cua.dk> http://www.cua.dk

Re: Cannot propertize mode-name

[Glenn Morris]

Juanma Barranquero wrote:

>  (setq mode-name (propertize "my-mode" 'display '(height (+ 5))))
>
> used to make the mode-name display in a bigger size. In the trunk it
> doesn't work anymore.

It does if you do:

(put 'mode-name 'risky-local-variable t)

Re: Cannot propertize mode-name

[Juanma Barranquero]

On Fri, 08 Nov 2002 14:10:21 +0000, Glenn Morris <gmorris+mail@ast.cam.ac.uk> wrote:

> It does if you do:
> 
> (put 'mode-name 'risky-local-variable t)

Indeed.

Thanks for the pointer.

                                                           /L/e/k/t/u

Re: Cannot propertize mode-name

[Richard Stallman]

    It does if you do:

    (put 'mode-name 'risky-local-variable t)

Ah, that is the right fix.  Thanks.  Juanma, would you like
to install it?

Re: Cannot propertize mode-name

[Juanma Barranquero]

On Sun, 10 Nov 2002 13:06:42 -0500, Richard Stallman <rms@gnu.org> wrote:

> Juanma, would you like to install it?

Done.


                                                           /L/e/k/t/u