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

[Eli Zaretskii]

branch: master
commit ebd32040e06bf57761f59638b600cfdeb408cbc5
Author: Eli Zaretskii <eliz@gnu.org>
Commit: Eli Zaretskii <eliz@gnu.org>

    ; * src/xwidget.c (xwidget-webkit-disable-javascript): Doc fix.
---
 src/xwidget.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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);