From ebd32040e06bf57761f59638b600cfdeb408cbc5 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Fri, 15 Mar 2024 10:29:06 +0200 Subject: ; * src/xwidget.c (xwidget-webkit-disable-javascript): Doc fix. --- src/xwidget.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/xwidget.c b/src/xwidget.c index 2260c0c2e0f..389c48ca7f5 100644 --- a/src/xwidget.c +++ b/src/xwidget.c @@ -3974,9 +3974,10 @@ syms_of_xwidget (void) Vxwidget_view_list = Qnil; DEFVAR_BOOL ("xwidget-webkit-disable-javascript", xwidget_webkit_disable_javascript, - doc: /* If non-nil, disable execution of JavaScript in WebKit widgets. + doc: /* If non-nil, disable execution of JavaScript in xwidget WebKit widgets. Modifications to this setting do not take effect in existing WebKit -widgets. */); +widgets; kill all xwidget-webkit buffers for changes in this setting +to take effect. */); xwidget_webkit_disable_javascript = false; Fprovide (intern ("xwidget-internal"), Qnil); -- cgit v1.2.3