Bug 1494337 - Do not display the 'triggers refresh' note if there's no option needing it r=ochameau

Depends on D6923

Differential Revision: https://phabricator.services.mozilla.com/D6920

--HG--
extra : moz-landing-system : lando

devtools/client/framework/toolbox-options.js

@@ -467,6 +467,10 @@ OptionsPanel.prototype = {
     } else {
       // Hide the checkbox and label
       this.disableJSNode.parentNode.style.display = "none";
+
+      const triggersPageRefreshLabel =
+        this.panelDoc.getElementById("triggers-page-refresh-label");
+      triggersPageRefreshLabel.style.display = "none";
     }
   },
 

devtools/client/framework/toolbox-options.xhtml

@@ -189,6 +189,7 @@
             <span>&options.enableRemote.label3;</span>
           </label>
           <span class="options-citation-label theme-comment"
+                id="triggers-page-refresh-label"
           >&options.context.triggersPageRefresh;</span>
       </fieldset>
     </div>