bug#68604: [PATCH] Add user option to disable JavaScript in xwidget webview

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Cc: rms@gnu.org,  noelopez@free.fr,  68604@debbugs.gnu.org
> Date: Sat, 09 Mar 2024 18:23:06 +0800
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > I'm confused: are we saying that we are not interested in the patch
> > proposed by the OP?  I think it's a no-brainer, really.
> 
> No, my post was meant as a gentle reminder of the ideal priorities for
> contributors to xwidgets.  After all, no users can benefit from a new
> option when the feature it controls is not in working order.

OK, so I've now installed the patch on the master branch, and I'm
closing this bug.

Noé, please look at the followup changes I made to fix some issues
with your original patch, and try to follow our conventions in the
future.