From 5a6efc3b10c258173d8e575dd1e304cb45a6c3d2 Mon Sep 17 00:00:00 2001 From: "timeless%mozdev.org" Date: Sun, 17 Jul 2005 20:10:13 +0000 Subject: [PATCH] Bug 300356 Extension/Theme Manager windows default size should be editable by l10n-teams (p1 of 10) patch by AlexIhrig@thunderbird-mail.de r=bsmedberg a=asa git-svn-id: svn://10.0.0.236/trunk@176185 18797224-902f-48f8-a5cc-f745e15eee43 --- .../chrome/mozapps/extensions/extensions.properties | 12 ++++++++++++ .../toolkit/mozapps/extensions/content/extensions.js | 6 +++--- 2 files changed, 15 insertions(+), 3 deletions(-) diff --git a/mozilla/toolkit/locales/en-US/chrome/mozapps/extensions/extensions.properties b/mozilla/toolkit/locales/en-US/chrome/mozapps/extensions/extensions.properties index 16089e46411..db36f50691d 100644 --- a/mozilla/toolkit/locales/en-US/chrome/mozapps/extensions/extensions.properties +++ b/mozilla/toolkit/locales/en-US/chrome/mozapps/extensions/extensions.properties @@ -84,3 +84,15 @@ cmdUpdateTooltipTheme=Checks for Updates to your Themes cmdInstallTooltipTheme=Install a Theme dssSwitchAfterRestart=Restart %S to use. + +# Default window size for extensions manager and themes manager +# Size in Pixel (e.g. '460') +extensionsManagerWidth=460 +extensionsManagerHeight=300 +themesManagerWidth=560 +themesManagerHeight=380 + +# The left column in themes manager +# Size in em (e.g. '20em') +# Note: here is the unit 'em' necessary +themesManagerLeftColumn=20em diff --git a/mozilla/toolkit/mozapps/extensions/content/extensions.js b/mozilla/toolkit/mozapps/extensions/content/extensions.js index d573e6d4039..c7fe77c0089 100644 --- a/mozilla/toolkit/mozapps/extensions/content/extensions.js +++ b/mozilla/toolkit/mozapps/extensions/content/extensions.js @@ -211,14 +211,14 @@ function Startup() var themePreviewArea = document.getElementById("themePreviewArea"); themePreviewArea.hidden = false; gExtensionsView.removeAttribute("flex"); - gExtensionsView.style.width = "20em"; + gExtensionsView.style.width = extensionsStrings.getString("themesManagerLeftColumn"); } // Set Initial Size var win = document.documentElement; if (!win.hasAttribute("width") || !win.hasAttribute("height")) { - win.setAttribute("width", isExtensions ? 460 : 560); - win.setAttribute("height", isExtensions ? 300 : 380); + win.setAttribute("width", isExtensions ? (extensionsStrings.getString("extensionsManagerWidth")) : (extensionsStrings.getString("themesManagerWidth"))); + win.setAttribute("height", isExtensions ? (extensionsStrings.getString("extensionsManagerHeight")) : (extensionsStrings.getString("themesManagerHeight"))); } // Now look and see if we're being opened by XPInstall