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