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

(cherry picked from commit ebd32040e06bf57761f59638b600cfdeb408cbc5)

diff --git a/src/xwidget.c b/src/xwidget.c
index 2260c0c2e0f76cb7b43544ab58086bef69b5984d..389c48ca7f5700af7624cece84cf7ecf34139c08 100644 (file)
--- 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);