master 9a2c7d865ff: Fix last change

[Po Lu]

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);