diff --git a/mobile/chrome/content/browser-ui.js b/mobile/chrome/content/browser-ui.js index c847ecce6c62..a92cf6ffd644 100644 --- a/mobile/chrome/content/browser-ui.js +++ b/mobile/chrome/content/browser-ui.js @@ -250,10 +250,6 @@ var BrowserUI = { document.getElementById("panel-items").selectedPanel = document.getElementById(id); }, - showPrefSection : function(id) { - document.getElementById("prefs-list").scrollBoxObject.scrollToElement(document.getElementById(id)); - }, - get toolbarH() { if (!this._toolbarH) { let toolbar = document.getElementById("toolbar-main"); diff --git a/mobile/chrome/content/browser.xul b/mobile/chrome/content/browser.xul index 6690bdb33601..5b5143862960 100644 --- a/mobile/chrome/content/browser.xul +++ b/mobile/chrome/content/browser.xul @@ -296,15 +296,14 @@ -