[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41905: Small change: In Customize, display name with with spaces, bu
From: |
Lars Ingebrigtsen |
Subject: |
bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath. |
Date: |
Tue, 08 Sep 2020 22:50:52 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
>>>> (concat (propertize "f" 'display "F")
>>>> "ill"
>>>> (propertize "-" 'display " ")
>>>> (propertize "c" 'display "C")
>>>> "olumn")
>>>
>>> Actually I meant not concat, but set-text-properties:
>>>
>>> (let ((name "fill-column"))
>>> (set-text-properties 0 1 '(display "F") name)
>>> (set-text-properties 4 5 '(display " ") name)
>>> (set-text-properties 5 6 '(display "C") name)
>>> (insert name))
>>
>> Why not concat? I think the end result is the same?
>
> No difference, indeed :) But set-text-properties is cleaner:
> we have a string and add properties to it.
Yeah, but that's what propertize does, too. Only less verbosely.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., (continued)
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Lars Ingebrigtsen, 2020/09/05
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Lars Ingebrigtsen, 2020/09/06
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Mauro Aranda, 2020/09/06
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Lars Ingebrigtsen, 2020/09/06
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Mauro Aranda, 2020/09/06
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Juri Linkov, 2020/09/06
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Juri Linkov, 2020/09/07
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Mauro Aranda, 2020/09/07
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Lars Ingebrigtsen, 2020/09/07
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Juri Linkov, 2020/09/08
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath.,
Lars Ingebrigtsen <=
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Juri Linkov, 2020/09/08
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath., Lars Ingebrigtsen, 2020/09/08