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

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

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