[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: Ab
From: |
tumashu |
Subject: |
Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix) |
Date: |
Wed, 10 Nov 2021 17:49:04 +0800 (CST) |
At 2021-11-10 17:32:24, "Po Lu" <luangruo@yahoo.com> wrote:
>tumashu <tumashu@163.com> writes:
>
>> - (rename-buffer (concat xwidget-webkit-buffer-name-prefix
>> - title "*")
>> - t)))))
>> + (rename-buffer
>> + (format-spec
>> + xwidget-webkit-buffer-name-format
>> + `((?T . ,title)))
>> + t)))))
>
>Doesn't this mean you have to (require 'format-spec)?
Added.
>
>Thanks.
>
0001-xwidget-Add-xwidget-webkit-buffer-name-format.patch
Description: Binary data
- About rename xwidget-webkit-buffer-name-prefix, tumashu, 2021/11/09
- Re: About rename xwidget-webkit-buffer-name-prefix, Po Lu, 2021/11/09
- Re: About rename xwidget-webkit-buffer-name-prefix, Po Lu, 2021/11/10
- [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix),
tumashu <=
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Eli Zaretskii, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re:Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), tumashu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/10
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Eli Zaretskii, 2021/11/11
- Re: [PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix), Po Lu, 2021/11/11