[Top][All Lists]

[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.

Attachment: 0001-xwidget-Add-xwidget-webkit-buffer-name-format.patch
Description: Binary data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]