From 4e248695248d2c749b2d9e892549ba0e9390a3d0 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Tue, 4 Jun 2013 18:11:15 +0100 Subject: Add and use no proxy list option --- gtk/res/options.gtk3.ui | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) (limited to 'gtk/res') diff --git a/gtk/res/options.gtk3.ui b/gtk/res/options.gtk3.ui index 233825c88..a795c2bf5 100644 --- a/gtk/res/options.gtk3.ui +++ b/gtk/res/options.gtk3.ui @@ -2002,7 +2002,7 @@ True False - 4 + 5 2 6 6 @@ -2175,6 +2175,36 @@ 4 + + + True + False + 0 + preferencesProxyNoproxy + + + 4 + 5 + GTK_FILL + + + + + True + True + True + preferencesProxyNoproxyTooltip + False + + + + + 1 + 2 + 4 + 5 + + -- cgit v1.2.3