diff options
Diffstat (limited to '')
-rw-r--r-- | security/manager/pki/resources/content/device_manager.xhtml | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/security/manager/pki/resources/content/device_manager.xhtml b/security/manager/pki/resources/content/device_manager.xhtml new file mode 100644 index 0000000000..cca3e19e75 --- /dev/null +++ b/security/manager/pki/resources/content/device_manager.xhtml @@ -0,0 +1,113 @@ +<?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> |