1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/security/manager/pki/resources/content/device_manager.xul Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,89 @@
1.4 +<?xml version="1.0"?>
1.5 +<!-- This Source Code Form is subject to the terms of the Mozilla Public
1.6 + - License, v. 2.0. If a copy of the MPL was not distributed with this
1.7 + - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
1.8 +
1.9 +<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
1.10 +
1.11 +<!DOCTYPE dialog [
1.12 +<!ENTITY % deviceManangerDTD SYSTEM "chrome://pippki/locale/deviceManager.dtd">
1.13 +%deviceManangerDTD;
1.14 +<!ENTITY % pippkiDTD SYSTEM "chrome://pippki/locale/pippki.dtd" >
1.15 +%pippkiDTD;
1.16 +]>
1.17 +
1.18 +<dialog id="devicemanager"
1.19 + windowtype="mozilla:devicemanager"
1.20 + xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
1.21 + title="&devmgr.title;"
1.22 + style="&devmgr.style;"
1.23 + persist="screenX screenY width height"
1.24 + onload="LoadModules();"
1.25 + buttons="accept">
1.26 +
1.27 +<stringbundleset id="stringbundleset">
1.28 + <stringbundle id="pippki_bundle" src="chrome://pippki/locale/pippki.properties"/>
1.29 + <stringbundle id="pipnss_bundle" src="chrome://pipnss/locale/pipnss.properties"/>
1.30 +</stringbundleset>
1.31 +
1.32 +<script type="application/javascript" src="chrome://pippki/content/device_manager.js"/>
1.33 +
1.34 +<grid flex="1" style="margin:5px">
1.35 + <columns>
1.36 + <column flex="1"/>
1.37 + <column flex="3"/>
1.38 + <column/>
1.39 + </columns>
1.40 + <rows>
1.41 + <row flex="1">
1.42 + <vbox> <!-- List of devices -->
1.43 + <tree id="device_tree" seltype="single"
1.44 + onselect="enableButtons();" hidecolumnpicker="true"
1.45 + flex="1" style="min-width: 15em">
1.46 + <treecols>
1.47 + <treecol id="deviceCol" flex="1" primary="true" label="&devmgr.devlist.label;"/>
1.48 + </treecols>
1.49 + <treechildren id="device_list"/>
1.50 + </tree>
1.51 + </vbox> <!-- / List of devices -->
1.52 + <vbox> <!-- Device status -->
1.53 + <tree id="info_tree" seltype="single" hidecolumnpicker="true"
1.54 + flex="1" style="min-width: 10em">
1.55 + <treecols>
1.56 + <treecol id="title1Col" flex="5" primary="true" label="&devmgr.details.title;"/>
1.57 + <treecol id="title2Col" flex="7" label="&devmgr.details.title2;"/>
1.58 + </treecols>
1.59 + <treechildren id="info_list"/>
1.60 + </tree>
1.61 + </vbox> <!-- / Device status -->
1.62 + <vbox> <!-- Buttons for manipulating devices -->
1.63 + <button id="login_button"
1.64 + label="&devmgr.button.login.label;"
1.65 + accesskey="&devmgr.button.login.accesskey;"
1.66 + oncommand="doLogin();" disabled="true"/>
1.67 + <button id="logout_button"
1.68 + label="&devmgr.button.logout.label;"
1.69 + accesskey="&devmgr.button.logout.accesskey;"
1.70 + oncommand="doLogout();" disabled="true"/>
1.71 + <button id="change_pw_button"
1.72 + label="&devmgr.button.changepw.label;"
1.73 + accesskey="&devmgr.button.changepw.accesskey;"
1.74 + oncommand="changePassword();" disabled="true"/>
1.75 + <button id="load_button"
1.76 + label="&devmgr.button.load.label;"
1.77 + accesskey="&devmgr.button.load.accesskey;"
1.78 + oncommand="doLoad();"/>
1.79 + <button id="unload_button"
1.80 + label="&devmgr.button.unload.label;"
1.81 + accesskey="&devmgr.button.unload.accesskey;"
1.82 + oncommand="doUnload();" disabled="true"/>
1.83 + <button id="fipsbutton"
1.84 + label=""
1.85 + accesskey="&devmgr.button.fips.accesskey;"
1.86 + oncommand="toggleFIPS();"/>
1.87 + </vbox> <!-- / Buttons for manipulating devices -->
1.88 + </row>
1.89 + </rows>
1.90 +</grid>
1.91 +
1.92 +</dialog>
