|
1 <?xml version="1.0"?> |
|
2 <!-- This Source Code Form is subject to the terms of the Mozilla Public |
|
3 - License, v. 2.0. If a copy of the MPL was not distributed with this |
|
4 - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
|
5 |
|
6 <?xml-stylesheet href="chrome://global/skin/" type="text/css"?> |
|
7 |
|
8 <!DOCTYPE dialog [ |
|
9 <!ENTITY % deviceManangerDTD SYSTEM "chrome://pippki/locale/deviceManager.dtd"> |
|
10 %deviceManangerDTD; |
|
11 <!ENTITY % pippkiDTD SYSTEM "chrome://pippki/locale/pippki.dtd" > |
|
12 %pippkiDTD; |
|
13 ]> |
|
14 |
|
15 <dialog id="devicemanager" |
|
16 windowtype="mozilla:devicemanager" |
|
17 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" |
|
18 title="&devmgr.title;" |
|
19 style="&devmgr.style;" |
|
20 persist="screenX screenY width height" |
|
21 onload="LoadModules();" |
|
22 buttons="accept"> |
|
23 |
|
24 <stringbundleset id="stringbundleset"> |
|
25 <stringbundle id="pippki_bundle" src="chrome://pippki/locale/pippki.properties"/> |
|
26 <stringbundle id="pipnss_bundle" src="chrome://pipnss/locale/pipnss.properties"/> |
|
27 </stringbundleset> |
|
28 |
|
29 <script type="application/javascript" src="chrome://pippki/content/device_manager.js"/> |
|
30 |
|
31 <grid flex="1" style="margin:5px"> |
|
32 <columns> |
|
33 <column flex="1"/> |
|
34 <column flex="3"/> |
|
35 <column/> |
|
36 </columns> |
|
37 <rows> |
|
38 <row flex="1"> |
|
39 <vbox> <!-- List of devices --> |
|
40 <tree id="device_tree" seltype="single" |
|
41 onselect="enableButtons();" hidecolumnpicker="true" |
|
42 flex="1" style="min-width: 15em"> |
|
43 <treecols> |
|
44 <treecol id="deviceCol" flex="1" primary="true" label="&devmgr.devlist.label;"/> |
|
45 </treecols> |
|
46 <treechildren id="device_list"/> |
|
47 </tree> |
|
48 </vbox> <!-- / List of devices --> |
|
49 <vbox> <!-- Device status --> |
|
50 <tree id="info_tree" seltype="single" hidecolumnpicker="true" |
|
51 flex="1" style="min-width: 10em"> |
|
52 <treecols> |
|
53 <treecol id="title1Col" flex="5" primary="true" label="&devmgr.details.title;"/> |
|
54 <treecol id="title2Col" flex="7" label="&devmgr.details.title2;"/> |
|
55 </treecols> |
|
56 <treechildren id="info_list"/> |
|
57 </tree> |
|
58 </vbox> <!-- / Device status --> |
|
59 <vbox> <!-- Buttons for manipulating devices --> |
|
60 <button id="login_button" |
|
61 label="&devmgr.button.login.label;" |
|
62 accesskey="&devmgr.button.login.accesskey;" |
|
63 oncommand="doLogin();" disabled="true"/> |
|
64 <button id="logout_button" |
|
65 label="&devmgr.button.logout.label;" |
|
66 accesskey="&devmgr.button.logout.accesskey;" |
|
67 oncommand="doLogout();" disabled="true"/> |
|
68 <button id="change_pw_button" |
|
69 label="&devmgr.button.changepw.label;" |
|
70 accesskey="&devmgr.button.changepw.accesskey;" |
|
71 oncommand="changePassword();" disabled="true"/> |
|
72 <button id="load_button" |
|
73 label="&devmgr.button.load.label;" |
|
74 accesskey="&devmgr.button.load.accesskey;" |
|
75 oncommand="doLoad();"/> |
|
76 <button id="unload_button" |
|
77 label="&devmgr.button.unload.label;" |
|
78 accesskey="&devmgr.button.unload.accesskey;" |
|
79 oncommand="doUnload();" disabled="true"/> |
|
80 <button id="fipsbutton" |
|
81 label="" |
|
82 accesskey="&devmgr.button.fips.accesskey;" |
|
83 oncommand="toggleFIPS();"/> |
|
84 </vbox> <!-- / Buttons for manipulating devices --> |
|
85 </row> |
|
86 </rows> |
|
87 </grid> |
|
88 |
|
89 </dialog> |