[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About ren
From: |
tumashu |
Subject: |
[PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix) |
Date: |
Wed, 10 Nov 2021 16:16:38 +0800 (CST) |
At 2021-11-10 14:33:20, "Po Lu" <luangruo@yahoo.com> wrote:
>tumashu <tumashu@163.com> writes:
>
>> Hi:
>>
>> xwidget-webkit-buffer-name-prefix only use the below code now:
>> what about rename this variable to xwidget-webkit-buffer-name-format and set
>> vaule to "*xwidget-webkit: %s*"? i
>>
>>
>> (with-current-buffer (xwidget-buffer xwidget)
>> (setq xwidget-webkit--title title)
>> (force-mode-line-update)
>> (xwidget-log "webkit finished loading: %s" title)
>> ;; Do not adjust webkit size to window here, the
>> ;; selected window can be the mini-buffer window
>> ;; unwantedly.
>> (rename-buffer (concat xwidget-webkit-buffer-name-prefix
>> title "*")
>>
>> t)))))
>
>Could you send a patch that makes these changes? Thanks.
Please see attachment.
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 <=
- 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, 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/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