security/manager/pki/resources/content/device_manager.xhtml

   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 <!DOCTYPE dialog>
   7
   8 <window
   9   windowtype="mozilla:devicemanager"
  10   xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
  11   xmlns:html="http://www.w3.org/1999/xhtml"
  12   data-l10n-id="devmgr-window"
  13   data-l10n-attrs="style"
  14   persist="screenX screenY width height"
  15   onload="LoadModules();"
  16 >
  17   <dialog id="devicemanager" buttons="accept">
  18     <linkset>
  19       <html:link rel="stylesheet" href="chrome://global/skin/global.css" />
  20
  21       <html:link
  22         rel="localization"
  23         href="security/certificates/deviceManager.ftl"
  24       />
  25     </linkset>
  26
  27     <script src="chrome://pippki/content/device_manager.js" />
  28
  29     <hbox flex="1" style="margin: 5px">
  30       <!-- List of devices -->
  31       <tree
  32         id="device_tree"
  33         seltype="single"
  34         onselect="enableButtons();"
  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           oncommand="doLogin();"
  79           disabled="true"
  80         />
  81         <button
  82           id="logout_button"
  83           data-l10n-id="devmgr-button-logout"
  84           oncommand="doLogout();"
  85           disabled="true"
  86         />
  87         <button
  88           id="change_pw_button"
  89           data-l10n-id="devmgr-button-changepw"
  90           oncommand="changePassword();"
  91           disabled="true"
  92         />
  93         <button
  94           id="load_button"
  95           data-l10n-id="devmgr-button-load"
  96           oncommand="doLoad();"
  97         />
  98         <button
  99           id="unload_button"
 100           data-l10n-id="devmgr-button-unload"
 101           oncommand="doUnload();"
 102           disabled="true"
 103         />
 104         <button
 105           id="fipsbutton"
 106           data-l10n-id="devmgr-button-enable-fips"
 107           oncommand="toggleFIPS();"
 108         />
 109       </vbox>
 110       <!-- / Buttons for manipulating devices -->
 111     </hbox>
 112   </dialog>
 113 </window>