1999-06-04 23:28:56 +00:00
|
|
|
<?xml version="1.0"?>
|
1999-08-10 02:48:56 +00:00
|
|
|
<!--
|
|
|
|
The contents of this file are subject to the Netscape Public
|
|
|
|
License Version 1.1 (the "License"); you may not use this file
|
|
|
|
except in compliance with the License. You may obtain a copy of
|
|
|
|
the License at http://www.mozilla.org/NPL/
|
|
|
|
|
|
|
|
Software distributed under the License is distributed on an "AS
|
|
|
|
IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
|
|
|
|
implied. See the License for the specific language governing
|
|
|
|
rights and limitations under the License.
|
|
|
|
|
|
|
|
The Original Code is Mozilla Communicator client code, released
|
|
|
|
March 31, 1998.
|
|
|
|
|
|
|
|
The Initial Developer of the Original Code is Netscape
|
|
|
|
Communications Corporation. Portions created by Netscape are
|
|
|
|
Copyright (C) 1998-1999 Netscape Communications Corporation. All
|
|
|
|
Rights Reserved.
|
|
|
|
|
|
|
|
Contributor(s):
|
|
|
|
-->
|
1999-06-04 23:28:56 +00:00
|
|
|
|
1999-12-06 09:21:10 +00:00
|
|
|
<?xml-stylesheet href="chrome://pref/skin/" type="text/css"?>
|
1999-11-18 21:05:43 +00:00
|
|
|
|
1999-08-10 02:48:56 +00:00
|
|
|
<!DOCTYPE window SYSTEM "chrome://pref/locale/pref-applications.dtd" >
|
1999-06-04 23:28:56 +00:00
|
|
|
|
1999-10-05 23:40:07 +00:00
|
|
|
<window xmlns:html="http://www.w3.org/TR/REC-html40"
|
2000-01-07 06:52:11 +00:00
|
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
|
1999-10-30 05:44:23 +00:00
|
|
|
class="dialog"
|
2000-01-07 06:52:11 +00:00
|
|
|
title="&window.title;" align="vertical"
|
|
|
|
onload="if( parent.handle ) parent.handle.onpageload( 'pref-applications' ); else parent.queuedTag = 'pref-applications';">
|
1999-06-04 23:28:56 +00:00
|
|
|
|
2000-01-07 06:52:11 +00:00
|
|
|
<!-- NOTE to owner of this panel
|
|
|
|
- this panel is quite complex. It will probably require a getfields
|
|
|
|
and setfields function for getting and setting appropriate data.
|
|
|
|
|
|
|
|
you will need to write some JS to get the correct names and values
|
|
|
|
from the list as appropriate to pass to the Data Manager
|
|
|
|
-->
|
1999-08-05 21:41:40 +00:00
|
|
|
|
2000-01-07 06:52:11 +00:00
|
|
|
<box class="header" align="horizontal">
|
|
|
|
<titledbutton class="left-header-text" value="&lHeader;"/>
|
|
|
|
<spring class="header-spring" flex="1"/>
|
|
|
|
<titledbutton class="right-header-text" value="&rHeader;"/>
|
|
|
|
</box>
|
1999-08-05 21:41:40 +00:00
|
|
|
|
2000-01-08 10:31:02 +00:00
|
|
|
<html:fieldset flex="100%" style="width: 100%">
|
2000-01-07 06:52:11 +00:00
|
|
|
<html:legend align="left">&descript;</html:legend>
|
2000-01-08 10:31:02 +00:00
|
|
|
<box align="horizontal"
|
|
|
|
class="hspace-both vspace"
|
|
|
|
flex="100%"
|
|
|
|
style="width: 93%; height: 100%;">
|
|
|
|
<tree id="appTree" class="inset" flex="100%" style="height: 55%;">
|
|
|
|
<treecol/>
|
|
|
|
<treechildren>
|
|
|
|
<treeitem>
|
|
|
|
<treerow>
|
|
|
|
<treecell value="&aimLaunchSelect.label;"/>
|
|
|
|
</treerow>
|
|
|
|
</treeitem>
|
|
|
|
</treechildren>
|
|
|
|
</tree>
|
|
|
|
<spring flex="5%"/>
|
2000-01-07 06:52:11 +00:00
|
|
|
<box align="vertical">
|
2000-01-08 10:31:02 +00:00
|
|
|
<titledbutton class="dialog push" id="newTypeButton" value="&newTypeButton.label;" />
|
|
|
|
<titledbutton class="dialog push" id="editButton" value="&editButton.label;" />
|
|
|
|
<titledbutton class="dialog push" id="removeButton" value="&removeButton.label;" />
|
|
|
|
<spring flex="100%"/>
|
2000-01-07 06:52:11 +00:00
|
|
|
</box>
|
|
|
|
</box>
|
|
|
|
</html:fieldset>
|
2000-01-08 10:31:02 +00:00
|
|
|
|
|
|
|
<html:fieldset class="vspace">
|
2000-01-07 06:52:11 +00:00
|
|
|
<html:legend align="left">&file;</html:legend>
|
2000-01-08 10:31:02 +00:00
|
|
|
<html:div class="hspace-both">&exten;</html:div>
|
|
|
|
<html:div class="hspace-both">&mimeType;</html:div>
|
|
|
|
<html:div class="hspace-both">&handle;</html:div>
|
2000-01-07 06:52:11 +00:00
|
|
|
</html:fieldset>
|
1999-08-05 21:41:40 +00:00
|
|
|
|
1999-10-05 23:40:07 +00:00
|
|
|
</window>
|