author | Paul Rouget <paul@mozilla.com> |
Tue, 17 Dec 2013 11:05:13 -0500 | |
changeset 176876 | 1627332b2e7f9be3859dc3539a15c37116ac6760 |
parent 176875 | 840fb1599995dc12f85b1df36a77967baad75e89 |
child 176877 | f3edfca0d51474e589e73af8511577fecb2aebeb |
push id | 3343 |
push user | ffxbld |
push date | Mon, 17 Mar 2014 21:55:32 +0000 |
treeherder | mozilla-beta@2f7d3415f79f [default view] [failures only] |
perfherder | [talos] [build metrics] [platform microbench] (compared to previous push) |
reviewers | robcee |
bugs | 950739 |
milestone | 29.0a1 |
first release with | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
last release without | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
--- a/browser/devtools/app-manager/content/index.js +++ b/browser/devtools/app-manager/content/index.js @@ -90,17 +90,16 @@ let UI = { selectTab: function(panel) { let isToolboxTab = false; for (let type of ["button", "panel"]) { let oldSelection = document.querySelector("." + type + "[selected]"); let newSelection = document.querySelector("." + panel + "-" + type); if (oldSelection) oldSelection.removeAttribute("selected"); if (newSelection) { - newSelection.scrollIntoView(false); newSelection.setAttribute("selected", "true"); if (newSelection.classList.contains("toolbox")) { isToolboxTab = true; } } } if (!isToolboxTab) { prefs.set("devtools.appmanager.lastTab", panel);