diff --git a/mozilla/security/manager/pki/resources/content/device_manager.js b/mozilla/security/manager/pki/resources/content/device_manager.js index fc8e9f23d03..69e51506050 100644 --- a/mozilla/security/manager/pki/resources/content/device_manager.js +++ b/mozilla/security/manager/pki/resources/content/device_manager.js @@ -321,8 +321,13 @@ function doLogout() // load a new device function doLoad() { + //device.loaddlg.width=300 + //device.loaddlg.height=200 + var dlgWidth = bundle.GetStringFromName("device.loaddlg.width"); + var dlgHeight = bundle.GetStringFromName("device.loaddlg.height"); + // window.open("load_device.xul", "loaddevice", - "chrome,width=300,height=200,resizable=0,dialog=1,modal=1"); + "chrome,width=" + dlgWidth + ",height="+ dlgHeight+ ",resizable=1,dialog=1,modal=1"); var device_list = document.getElementById("device_list"); while (device_list.firstChild) device_list.removeChild(device_list.firstChild); diff --git a/mozilla/security/manager/pki/resources/locale/en-US/pippki.properties b/mozilla/security/manager/pki/resources/locale/en-US/pippki.properties index 5138b8491e3..3ae6bbd56d6 100644 --- a/mozilla/security/manager/pki/resources/locale/en-US/pippki.properties +++ b/mozilla/security/manager/pki/resources/locale/en-US/pippki.properties @@ -106,3 +106,7 @@ devinfo_stat_loggedin=Logged In devinfo_stat_ready=Ready enable_fips=Enable FIPS disable_fips=Disable FIPS + +#device manager: load device dlg +device.loaddlg.width=300 +device.loaddlg.height=200