device_manager.xhtml (2835B)
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 <?csp default-src chrome:; style-src chrome: 'unsafe-inline'; ?> 7 8 <!DOCTYPE dialog> 9 10 <window 11 windowtype="mozilla:devicemanager" 12 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" 13 xmlns:html="http://www.w3.org/1999/xhtml" 14 data-l10n-id="devmgr-window" 15 data-l10n-attrs="style" 16 persist="screenX screenY width height" 17 > 18 <dialog id="devicemanager" buttons="accept"> 19 <linkset> 20 <html:link rel="stylesheet" href="chrome://global/skin/global.css" /> 21 22 <html:link 23 rel="localization" 24 href="security/certificates/deviceManager.ftl" 25 /> 26 </linkset> 27 28 <script src="chrome://pippki/content/device_manager.js" /> 29 30 <hbox flex="1" style="margin: 5px"> 31 <!-- List of devices --> 32 <tree 33 id="device_tree" 34 seltype="single" 35 hidecolumnpicker="true" 36 flex="1" 37 style="min-width: 15em" 38 > 39 <treecols> 40 <treecol 41 id="deviceCol" 42 flex="1" 43 primary="true" 44 data-l10n-id="devmgr-devlist" 45 /> 46 </treecols> 47 <treechildren id="device_list" /> 48 </tree> 49 <!-- / List of devices --> 50 <!-- Device status --> 51 <tree 52 id="info_tree" 53 seltype="single" 54 hidecolumnpicker="true" 55 style="flex: 3 3; min-width: 10em" 56 > 57 <treecols> 58 <treecol 59 id="title1Col" 60 style="flex: 5 5 auto" 61 primary="true" 62 data-l10n-id="devmgr-header-details" 63 /> 64 <treecol 65 id="title2Col" 66 style="flex: 7 7 auto" 67 data-l10n-id="devmgr-header-value" 68 /> 69 </treecols> 70 <treechildren id="info_list" /> 71 </tree> 72 <!-- / Device status --> 73 <vbox> 74 <!-- Buttons for manipulating devices --> 75 <button 76 id="login_button" 77 data-l10n-id="devmgr-button-login" 78 disabled="true" 79 /> 80 <button 81 id="logout_button" 82 data-l10n-id="devmgr-button-logout" 83 disabled="true" 84 /> 85 <button 86 id="change_pw_button" 87 data-l10n-id="devmgr-button-changepw" 88 disabled="true" 89 /> 90 <button id="load_button" data-l10n-id="devmgr-button-load" /> 91 <button 92 id="unload_button" 93 data-l10n-id="devmgr-button-unload" 94 disabled="true" 95 /> 96 <button id="fipsbutton" data-l10n-id="devmgr-button-enable-fips" /> 97 </vbox> 98 <!-- / Buttons for manipulating devices --> 99 </hbox> 100 </dialog> 101 </window>