security/manager/pki/resources/content/device_manager.xul@b8a032363ba2
security/manager/pki/resources/content/device_manager.xul
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
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/. -->
6 <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
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 ]>
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">
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>
29 <script type="application/javascript" src="chrome://pippki/content/device_manager.js"/>
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>
89 </dialog>
