device_manager.xhtml

Enable keyboard shortcuts

<?xml version="1.0"?>

<!-- This Source Code Form is subject to the terms of the Mozilla Public

   - License, v. 2.0. If a copy of the MPL was not distributed with this

   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

<!DOCTYPE dialog>

<window

  windowtype="mozilla:devicemanager"

  xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"

  xmlns:html="http://www.w3.org/1999/xhtml"

  data-l10n-id="devmgr-window"

  data-l10n-attrs="style"

  persist="screenX screenY width height"

  onload="LoadModules();"

  <dialog id="devicemanager" buttons="accept">

    <linkset>

      <html:link rel="stylesheet" href="chrome://global/skin/global.css" />

      <html:link

        rel="localization"

        href="security/certificates/deviceManager.ftl"

/>

    </linkset>

    <script src="chrome://pippki/content/device_manager.js" />

    <hbox flex="1" style="margin: 5px">

      <!-- List of devices -->

      <tree

        id="device_tree"

        seltype="single"

        onselect="enableButtons();"

        hidecolumnpicker="true"

        flex="1"

        style="min-width: 15em"

        <treecols>

          <treecol

            id="deviceCol"

            flex="1"

            primary="true"

            data-l10n-id="devmgr-devlist"

/>

        </treecols>

        <treechildren id="device_list" />

      </tree>

      <!-- / List of devices -->

      <!-- Device status -->

      <tree

        id="info_tree"

        seltype="single"

        hidecolumnpicker="true"

        style="flex: 3 3; min-width: 10em"

        <treecols>

          <treecol

            id="title1Col"

            style="flex: 5 5 auto"

            primary="true"

            data-l10n-id="devmgr-header-details"

/>

          <treecol

            id="title2Col"

            style="flex: 7 7 auto"

            data-l10n-id="devmgr-header-value"

/>

        </treecols>

        <treechildren id="info_list" />

      </tree>

      <!-- / Device status -->

      <vbox>

        <!-- Buttons for manipulating devices -->

        <button

          id="login_button"

          data-l10n-id="devmgr-button-login"

          oncommand="doLogin();"

          disabled="true"

/>

        <button

          id="logout_button"

          data-l10n-id="devmgr-button-logout"

          oncommand="doLogout();"

          disabled="true"

/>

        <button

          id="change_pw_button"

          data-l10n-id="devmgr-button-changepw"

          oncommand="changePassword();"

          disabled="true"

/>

        <button

          id="load_button"

          data-l10n-id="devmgr-button-load"

          oncommand="doLoad();"

/>

        <button

          id="unload_button"

          data-l10n-id="devmgr-button-unload"

          oncommand="doUnload();"

          disabled="true"

/>

        <button

          id="fipsbutton"

          data-l10n-id="devmgr-button-enable-fips"

          oncommand="toggleFIPS();"

/>

      </vbox>

      <!-- / Buttons for manipulating devices -->

    </hbox>

  </dialog>

</window>