зеркало из https://github.com/mozilla/pjs.git
Bug 298699 Theme Manager's width is no longer fixed
patch by rob_strong@exchangecode.com r=bsmedberg a=bsmedberg
This commit is contained in:
Родитель
788ce708e6
Коммит
8de3a896f2
|
@ -211,6 +211,7 @@ function Startup()
|
|||
var themePreviewArea = document.getElementById("themePreviewArea");
|
||||
themePreviewArea.hidden = false;
|
||||
gExtensionsView.removeAttribute("flex");
|
||||
gExtensionsView.style.width = "20em";
|
||||
}
|
||||
|
||||
// Set Initial Size
|
||||
|
|
Загрузка…
Ссылка в новой задаче