[PATCH] xwidget: Add xwidget-webkit-buffer-name-format (Re:Re: About rename xwidget-webkit-buffer-name-prefix)

[tumashu]

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