From 1b277f8e11d53af04ef645f95fb32857035e3a33 Mon Sep 17 00:00:00 2001 From: Ruben Rodriguez Date: Sat, 10 Oct 2015 11:27:07 -0500 Subject: Reworked enable-js-options.patch --- data/patches/enable-js-options.patch | 268 +++++++++++++++++++++++++++++++++++ 1 file changed, 268 insertions(+) create mode 100644 data/patches/enable-js-options.patch (limited to 'data') diff --git a/data/patches/enable-js-options.patch b/data/patches/enable-js-options.patch new file mode 100644 index 0000000..aa2869e --- /dev/null +++ b/data/patches/enable-js-options.patch @@ -0,0 +1,268 @@ +# revert https://bug851702.bugzilla.mozilla.org/attachment.cgi?id=733785 + +# HG changeset patch +# User Gijs Kruitbosch +# Date 1365155574 -7200 +# Node ID 444b9baa31d6065d37edbd61a2dcb892c989e0e2 +# Parent 99121d529b47ec285d61f64988335e60ac120cf7 +Bug 851702 - Remove JS load and advanced preferences from the UI + +--- b/browser/components/preferences/content.xul ++++ a/browser/components/preferences/content.xul +@@ -25,8 +25,13 @@ + + + +- ++ + ++ ++ ++ + + + + + ++ ++ ++ ++ ++ ++