commit 4776f6c431a06867b8d2a5c6c3f35c4a7f78850e Author: Kathy Brade brade@pearlcrescent.com Date: Thu Apr 17 10:31:40 2014 -0400
Bug #11482: Hide bridge settings prompt if no default bridges. --- src/chrome/content/network-settings-wizard.xul | 3 ++- src/chrome/content/network-settings.js | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/chrome/content/network-settings-wizard.xul b/src/chrome/content/network-settings-wizard.xul index a1d820e..07fcdcd 100644 --- a/src/chrome/content/network-settings-wizard.xul +++ b/src/chrome/content/network-settings-wizard.xul @@ -140,7 +140,8 @@ </vbox> <separator /> <vbox> - <label class="question">&torSettings.bridgeSettingsPrompt;</label> + <label id="bridgeSettingsPrompt" + class="question">&torSettings.bridgeSettingsPrompt;</label> <groupbox id="bridgeSpecificSettings" /> </vbox> </wizardpage> diff --git a/src/chrome/content/network-settings.js b/src/chrome/content/network-settings.js index 07526c8..98028e2 100644 --- a/src/chrome/content/network-settings.js +++ b/src/chrome/content/network-settings.js @@ -818,6 +818,10 @@ function initBridgeSettings()
if (!canUseDefaultBridges) { + var label = document.getElementById("bridgeSettingsPrompt"); + if (label) + label.setAttribute("hidden", true); + var radioGroup = document.getElementById("bridgeTypeRadioGroup"); if (radioGroup) radioGroup.setAttribute("hidden", true);