diff options
| author | Po Lu <luangruo@yahoo.com> | 2024-03-15 08:36:21 +0800 |
|---|---|---|
| committer | Po Lu <luangruo@yahoo.com> | 2024-03-15 08:36:21 +0800 |
| commit | 9a2c7d865ff8df960793e19c3f854db66b40e0fb (patch) | |
| tree | 8da064c4cdb3efc91dcfaa84af730ce99d005f21 /src | |
| parent | f03f14165ed51148b72b431ac99c4a4829bb1a7f (diff) | |
| download | emacs-9a2c7d865ff8df960793e19c3f854db66b40e0fb.tar.gz | |
Fix last change
* src/xwidget.c (Fmake_xwidget): Cast boolean value to gboolean.
(syms_of_xwidget): Fix coding style and improve doc string.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xwidget.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/xwidget.c b/src/xwidget.c index 557b1e60409..2260c0c2e0f 100644 --- a/src/xwidget.c +++ b/src/xwidget.c @@ -378,7 +378,8 @@ fails. */) /* Enable the developer extras. */ settings = webkit_web_view_get_settings (WEBKIT_WEB_VIEW (xw->widget_osr)); g_object_set (G_OBJECT (settings), "enable-developer-extras", TRUE, NULL); - g_object_set (G_OBJECT (settings), "enable-javascript", !xwidget_webkit_disable_javascript, NULL); + g_object_set (G_OBJECT (settings), "enable-javascript", + (gboolean) (!xwidget_webkit_disable_javascript), NULL); } gtk_widget_set_size_request (GTK_WIDGET (xw->widget_osr), xw->width, @@ -3972,10 +3973,10 @@ syms_of_xwidget (void) doc: /* List of all xwidget views. */); Vxwidget_view_list = Qnil; - DEFVAR_BOOL("xwidget-webkit-disable-javascript", xwidget_webkit_disable_javascript, - doc: /* If non-nil, disable execution of JavaScript in xwidget webkit sessions. -You must kill all xwidget-webkit buffers for this setting to take effect -after changing it. */); + DEFVAR_BOOL ("xwidget-webkit-disable-javascript", xwidget_webkit_disable_javascript, + doc: /* If non-nil, disable execution of JavaScript in WebKit widgets. +Modifications to this setting do not take effect in existing WebKit +widgets. */); xwidget_webkit_disable_javascript = false; Fprovide (intern ("xwidget-internal"), Qnil); |