From aada707a0a08464f889d4500d3815ee00cb96efe Mon Sep 17 00:00:00 2001 From: "ddrinan%netscape.com" Date: Fri, 13 Jul 2001 23:08:38 +0000 Subject: [PATCH] Check in for tao. r=mcgreer,sr=blizzard git-svn-id: svn://10.0.0.236/branches/MOZILLA_0_9_2_BRANCH@99230 18797224-902f-48f8-a5cc-f745e15eee43 --- .../manager/pki/resources/content/device_manager.js | 7 ++++++- .../manager/pki/resources/locale/en-US/pippki.properties | 4 ++++ 2 files changed, 10 insertions(+), 1 deletion(-) 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