[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master 9a2c7d865ff: Fix last change
From: |
Po Lu |
Subject: |
master 9a2c7d865ff: Fix last change |
Date: |
Thu, 14 Mar 2024 20:36:36 -0400 (EDT) |
branch: master
commit 9a2c7d865ff8df960793e19c3f854db66b40e0fb
Author: Po Lu <luangruo@yahoo.com>
Commit: Po Lu <luangruo@yahoo.com>
Fix last change
* src/xwidget.c (Fmake_xwidget): Cast boolean value to gboolean.
(syms_of_xwidget): Fix coding style and improve doc string.
---
src/xwidget.c | 11 ++++++-----
1 file 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);
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- master 9a2c7d865ff: Fix last change,
Po Lu <=