Re: master ebd32040e06: ; * src/xwidget.c (xwidget-webkit-disable-javascript): Doc fix.

[Po Lu]

Eli Zaretskii <eliz@gnu.org> writes:

> +widgets; kill all xwidget-webkit buffers for changes in this setting
> +to take effect.  */);

But this isn't true: the changes will take effect in new WebKit widgets
whether or not some widgets already exist with a different value of this
setting.