diff options
| author | Eli Zaretskii | 2024-03-15 10:29:06 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2024-03-15 10:29:06 +0200 |
| commit | ebd32040e06bf57761f59638b600cfdeb408cbc5 (patch) | |
| tree | f3e00be31adcb4a36f79d5f20e14281694ed0f7b | |
| parent | ffbf876a93c7b34c84806e43659efbac519279fa (diff) | |
| download | emacs-ebd32040e06bf57761f59638b600cfdeb408cbc5.tar.gz emacs-ebd32040e06bf57761f59638b600cfdeb408cbc5.zip | |
; * src/xwidget.c (xwidget-webkit-disable-javascript): Doc fix.
| -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) | |||
| 3974 | Vxwidget_view_list = Qnil; | 3974 | Vxwidget_view_list = Qnil; |
| 3975 | 3975 | ||
| 3976 | DEFVAR_BOOL ("xwidget-webkit-disable-javascript", xwidget_webkit_disable_javascript, | 3976 | DEFVAR_BOOL ("xwidget-webkit-disable-javascript", xwidget_webkit_disable_javascript, |
| 3977 | doc: /* If non-nil, disable execution of JavaScript in WebKit widgets. | 3977 | doc: /* If non-nil, disable execution of JavaScript in xwidget WebKit widgets. |
| 3978 | Modifications to this setting do not take effect in existing WebKit | 3978 | Modifications to this setting do not take effect in existing WebKit |
| 3979 | widgets. */); | 3979 | widgets; kill all xwidget-webkit buffers for changes in this setting |
| 3980 | to take effect. */); | ||
| 3980 | xwidget_webkit_disable_javascript = false; | 3981 | xwidget_webkit_disable_javascript = false; |
| 3981 | 3982 | ||
| 3982 | Fprovide (intern ("xwidget-internal"), Qnil); | 3983 | Fprovide (intern ("xwidget-internal"), Qnil); |