diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2024-03-15 10:29:06 +0200 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2024-03-15 10:29:06 +0200 |
| commit | ebd32040e06bf57761f59638b600cfdeb408cbc5 (patch) | |
| tree | f3e00be31adcb4a36f79d5f20e14281694ed0f7b /src | |
| parent | ffbf876a93c7b34c84806e43659efbac519279fa (diff) | |
| download | emacs-ebd32040e06bf57761f59638b600cfdeb408cbc5.tar.gz | |
; * src/xwidget.c (xwidget-webkit-disable-javascript): Doc fix.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xwidget.c | 5 |
1 files 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); |