mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-04 02:57:38 +00:00
69 lines
1.5 KiB
XML
69 lines
1.5 KiB
XML
<?xml version="1.0"?>
|
|
<?xml-stylesheet href="common.css" type="text/css"?>
|
|
|
|
<!DOCTYPE window>
|
|
|
|
<window
|
|
xmlns:html="http://www.w3.org/TR/REC-html40"
|
|
xmlns:rdf="http://www.w3.org/TR/WD-rdf-syntax#"
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
|
|
|
|
<html:div flex="100%">
|
|
|
|
<html:script>
|
|
function foo()
|
|
{
|
|
}
|
|
|
|
function InitializeValues()
|
|
{
|
|
element = document.getElementById("ProfileName");
|
|
element.value = parent.profName;
|
|
|
|
element = document.getElementById("ProfileDir");
|
|
element.value = parent.profDir;
|
|
}
|
|
|
|
function commit()
|
|
{
|
|
var element;
|
|
|
|
element = document.getElementById("ProfileName");
|
|
parent.SetValue(element.id, element.value);
|
|
parent.profName = element.value;
|
|
|
|
element = document.getElementById("ProfileDir");
|
|
data += "ProfileDir="+element.value+"%";
|
|
parent.SetValue(element.id, element.value);
|
|
parent.profDir = element.value;
|
|
}
|
|
|
|
setTimeout("foo()", 0);
|
|
</html:script>
|
|
|
|
|
|
<html:p>
|
|
If you create several profiles you can tell them apart by the profile names.
|
|
<html:br></html:br>
|
|
You may use the name provided here or use one of your own.
|
|
</html:p>
|
|
|
|
<html:p>
|
|
Enter New Profile name
|
|
<html:br></html:br>
|
|
<html:input type="text" id="ProfileName" value="mozProfile" size="30"/>
|
|
</html:p>
|
|
|
|
<html:p>
|
|
Your user settings, preferences, bookmarks and stored messages will be
|
|
<html:br></html:br>
|
|
stored in the directory below. We recommend that you use the default
|
|
<html:br></html:br>
|
|
directory (by leaving the box blank).
|
|
<html:br></html:br>
|
|
<html:input type="text" id="ProfileDir" size="30"/>
|
|
</html:p>
|
|
|
|
</html:div>
|
|
</window>
|