17.0: sync security with en-US rev106924:3c38673c4b1c
authorABE Hiroki (hATrayflood) <h.rayflood@gmail.com>
Wed, 26 Sep 2012 02:15:12 +0900
changeset 832 fcb1d5bae0747836dff02b04d8916d772d231bdf
parent 831 64652ab9a56f86bdb5457a66c87b73f079408d33
child 833 d3f72f415d33d647952a70114fdaced5f19ca6ef
push id1
push usersledru@mozilla.com
push dateThu, 04 Dec 2014 21:57:17 +0000
bugs17
17.0: sync security with en-US rev106924:3c38673c4b1c
security/manager/chrome/pippki/deviceManager.dtd
--- a/security/manager/chrome/pippki/deviceManager.dtd
+++ b/security/manager/chrome/pippki/deviceManager.dtd
@@ -1,13 +1,17 @@
 <!-- This Source Code Form is subject to the terms of the Mozilla Public
    - License, v. 2.0. If a copy of the MPL was not distributed with this
    - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
 
 <!ENTITY devmgr.title				"デバイスマネージャ">
+<!-- LOCALIZATION NOTE (devmgr.style): This is CSS style for Device Manager
+     window size. Don't translate "width" nor "height". Adjust the numbers
+     to make window contents fit. -->
+<!ENTITY devmgr.style				"width: 52em; height: 32em;">
 
 <!ENTITY devmgr.devlist.label			"セキュリティモジュールとデバイス">
 <!ENTITY devmgr.details.title			"詳細">
 <!ENTITY devmgr.details.title2			"値">
 <!ENTITY devmgr.status.label			"状態">
 <!ENTITY devmgr.version.label			"バージョン">
 
 <!ENTITY devmgr.button.changeslotname.label	"スロット名を変更">