2000-01-07 06:52:11 +00:00
|
|
|
/* -*- Mode: Java; tab-width: 4; c-basic-offset: 4; -*-
|
|
|
|
*
|
|
|
|
* The contents of this file are subject to the Netscape Public License
|
|
|
|
* Version 1.0 (the "NPL"); you may not use this file except in
|
|
|
|
* compliance with the NPL. You may obtain a copy of the NPL at
|
|
|
|
* http://www.mozilla.org/NPL/
|
|
|
|
*
|
|
|
|
* Software distributed under the NPL is distributed on an "AS IS" basis,
|
|
|
|
* WITHOUT WARRANTY OF ANY KIND, either express or implied. See the NPL
|
|
|
|
* for the specific language governing rights and limitations under the
|
|
|
|
* NPL.
|
|
|
|
*
|
|
|
|
* The Initial Developer of this code under the NPL is Netscape
|
|
|
|
* Communications Corporation. Portions created by Netscape are
|
|
|
|
* Copyright (C) 1998 Netscape Communications Corporation. All Rights
|
|
|
|
* Reserved.
|
|
|
|
*
|
|
|
|
* Contributor(s):
|
|
|
|
* Ben "Count XULula" Goodger <rgoodger@ihug.co.nz>
|
|
|
|
*/
|
|
|
|
|
2000-01-08 12:21:29 +00:00
|
|
|
window.doneLoading = false;
|
|
|
|
|
2000-01-07 06:52:11 +00:00
|
|
|
/** class PrefWindow ( string frame_id );
|
|
|
|
* - purpose: object representing the state of the prefs window
|
|
|
|
* - in: string representing the panel content frame
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function PrefWindow( frame_id )
|
|
|
|
{
|
|
|
|
if ( !frame_id )
|
|
|
|
throw "Error: frame_id not supplied!";
|
|
|
|
|
|
|
|
// data members
|
|
|
|
this.contentFrame = frame_id
|
|
|
|
// chrome folder structure
|
|
|
|
this.folder = new ChromeFolder( "chrome://pref/" );
|
|
|
|
// instantiate the WidgetStateManager
|
|
|
|
this.wsm = new WidgetStateManager( frame_id, this.folder.content, ".xul" );
|
|
|
|
this.pref = null;
|
|
|
|
|
|
|
|
// member functions
|
|
|
|
this.onload = PREF_onload;
|
|
|
|
this.onok = PREF_onok;
|
|
|
|
this.oncancel = PREF_oncancel;
|
|
|
|
this.SwitchPage = PREF_SwitchPage;
|
|
|
|
this.onpageload = PREF_onpageload;
|
|
|
|
this.DoSavePrefs = PREF_DoSavePrefs;
|
|
|
|
this.ParsePref = PREF_ParsePref;
|
|
|
|
|
|
|
|
// set up window
|
|
|
|
this.onload();
|
|
|
|
}
|
|
|
|
|
|
|
|
/** void onload();
|
|
|
|
* - purpose: startup routine for prefs dialog.
|
|
|
|
* - in: nothing;
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function PREF_onload()
|
|
|
|
{
|
|
|
|
// set ok/cancel handlers
|
|
|
|
doSetOKCancel( this.onok, null );
|
|
|
|
// create pref object
|
|
|
|
try {
|
|
|
|
this.pref = Components.classes["component://netscape/preferences"].createInstance();
|
|
|
|
if(this.pref)
|
|
|
|
this.pref = this.pref.QueryInterface( Components.interfaces.nsIPref );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
dump("*** Failed to create prefs object\n");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// this.wsm.PageData.splice(0); // brutally empty the PageData Array
|
|
|
|
if( window.queuedTag )
|
|
|
|
this.onpageload( window.queuedTag );
|
2000-01-08 12:21:29 +00:00
|
|
|
|
2000-01-07 06:52:11 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/** void onok();
|
|
|
|
* - purpose: save all pref panel data and quit pref dialog
|
|
|
|
* - in: nothing;
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function PREF_onok()
|
|
|
|
{
|
|
|
|
var url = document.getElementById( window.handle.contentFrame ).getAttribute("src");
|
|
|
|
var tag = window.handle.wsm.GetTagFromURL( url, window.handle.folder.content, ".xul" );
|
|
|
|
var extras = ["pref", "preftype", "prefstring", "prefindex"];
|
|
|
|
window.handle.wsm.SavePageData( tag, extras, false, false ); // save data from the current page.
|
|
|
|
window.handle.DoSavePrefs();
|
|
|
|
window.close();
|
|
|
|
}
|
|
|
|
|
|
|
|
function PREF_oncancel()
|
|
|
|
{
|
|
|
|
window.close();
|
|
|
|
}
|
|
|
|
|
|
|
|
function PREF_DoSavePrefs()
|
|
|
|
{
|
|
|
|
for( var i in window.handle.wsm.PageData ) {
|
|
|
|
for ( var k in window.handle.wsm.PageData[i] ) {
|
|
|
|
dump("*** FOO id: " + k + "; value: " + window.handle.wsm.PageData[i][k].value + "\n");
|
|
|
|
window.handle.ParsePref( k, window.handle.wsm.PageData[i][k] );
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function PREF_ParsePref( elementID, elementObject )
|
|
|
|
{
|
|
|
|
var whp = window.handle.pref; // shortcut
|
|
|
|
|
|
|
|
// since we no longer use the convoluted id strings, we now use the id passed
|
|
|
|
// in as an argument to this function to grab the appropriate element in the
|
|
|
|
//dump("*** elementObject.prefString: " + elementObject.prefstring + "; value: " + elementObject.value + "; id: " + elementID + "\n" );
|
|
|
|
if( elementObject.pref ) {
|
|
|
|
switch( elementObject.preftype ) {
|
|
|
|
case "bool":
|
|
|
|
whp.SetBoolPref( elementObject.prefstring, elementObject.value ); // bool pref
|
|
|
|
break;
|
|
|
|
case "int":
|
|
|
|
if( elementObject.value ) { // only want checked radio items!
|
|
|
|
if( elementObject.nodeName.toLowerCase() == "select" ) {
|
|
|
|
// may need to add extra elements here if they do not have easily
|
|
|
|
// gleanable idxes as radio buttons do.
|
|
|
|
elementObject.prefindex = elementObject.value;
|
|
|
|
}
|
2000-01-07 07:55:00 +00:00
|
|
|
if( !elementObject.prefindex ) {
|
|
|
|
var prefvalue = elementObject.value;
|
|
|
|
}
|
|
|
|
else {
|
2000-01-07 11:57:38 +00:00
|
|
|
// element object has prefindex attribute
|
2000-01-07 07:55:00 +00:00
|
|
|
var prefvalue = elementObject.prefindex;
|
|
|
|
}
|
|
|
|
whp.SetIntPref( elementObject.prefstring, prefvalue ); // integer pref
|
2000-01-07 06:52:11 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case "string":
|
|
|
|
dump("*** SetCharPref: " + elementObject.prefstring + "; value: " + elementObject.value + "\n");
|
|
|
|
//XXX there's some kind of bug here with this such that this throws an UNEXPECTED
|
|
|
|
//XXX exception. look into this later.
|
|
|
|
whp.SetCharPref( elementObject.prefstring, elementObject.value ); // string pref
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
// TODO: insert implementation for other pref types;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** void SwitchPage ( DOMElement node );
|
|
|
|
* - purpose: switches the page in the content frame to that specified in the
|
|
|
|
* - tag attribute of the selected treecell
|
|
|
|
* - in: DOMElement representing the clicked node in the panel tree
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function PREF_SwitchPage( node )
|
|
|
|
{
|
|
|
|
// XXX 12/04/99
|
|
|
|
if( node.nodeName == "treecell" && node.getAttribute("url") != "__header" ) {
|
|
|
|
var url = document.getElementById( this.contentFrame ).getAttribute("src");
|
|
|
|
var oldTag = this.wsm.GetTagFromURL( url, "/", ".xul", false );
|
|
|
|
// extra attributes to be saved
|
|
|
|
var extras = ["pref", "preftype", "prefstring", "prefindex"];
|
|
|
|
dump("*** going to save page data for tag: " + oldTag + "\n");
|
|
|
|
this.wsm.SavePageData( oldTag, extras, false, false ); // save data from the current page.
|
|
|
|
|
|
|
|
var newURL = node.getAttribute("url");
|
|
|
|
dump("*** newURL: " + newURL + "\n");
|
|
|
|
var newTag = this.wsm.GetTagFromURL( newURL, "/", ".xul", false );
|
|
|
|
// if the page clicked is the same one, don't bother reloading it.
|
|
|
|
if( newTag != oldTag )
|
|
|
|
document.getElementById( this.contentFrame ).setAttribute( "src", newURL );
|
|
|
|
else
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** void onpageload ( string tag );
|
|
|
|
* - purpose: sets page data on the page which has just loaded
|
|
|
|
* - in: string tag representing filename minus extension
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function PREF_onpageload( tag )
|
|
|
|
{
|
|
|
|
dump("*** PREF_onpageload('" + tag + "');\n");
|
|
|
|
if( !this.wsm.PageData[tag] ) {
|
|
|
|
// there is no entry in the data hash for this page, so we need to initialise
|
|
|
|
// the form values from existing prefs. The best way to do this is to pack
|
|
|
|
// the PageData table for this element with values from prefs, rather than
|
|
|
|
// setting attributes here because we can then leverage the setting ability
|
|
|
|
// of wsm.SetPageData
|
|
|
|
|
|
|
|
// step one: get all the elements with pref ids. (this may change to get
|
|
|
|
// elements with some other pref attributes - likely)
|
|
|
|
// yes I know this is an evil function to use, sue me.
|
|
|
|
prefElements = window.frames[this.contentFrame].document.getElementsByAttribute( "pref", "true" );
|
|
|
|
|
|
|
|
this.wsm.PageData[tag] = []; // need to declare these as arrays
|
|
|
|
for( var i = 0; i < prefElements.length; i++ )
|
|
|
|
{
|
|
|
|
var prefstring = prefElements[i].getAttribute("prefstring");
|
|
|
|
var prefid = prefElements[i].getAttribute("id");
|
|
|
|
var preftype = prefElements[i].getAttribute("preftype");
|
|
|
|
var prefdefval = prefElements[i].getAttribute("prefdefval");
|
|
|
|
switch( preftype ) {
|
|
|
|
case "bool":
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.GetBoolPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.GetDefaultBoolPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
dump("*** NO DEFAULT PREF for " + prefstring + ", AND ONE *IS* NEEDED! GO MAKE ONE, FOOL!\n");
|
|
|
|
continue;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case "int":
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.GetIntPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.GetDefaultIntPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
dump("*** NO DEFAULT PREF for " + prefstring + ", AND ONE *IS* NEEDED! GO MAKE ONE, FOOL!\n");
|
|
|
|
continue;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case "string":
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.CopyCharPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
try {
|
|
|
|
var prefvalue = this.pref.CopyDefaultCharPref( prefstring );
|
|
|
|
}
|
|
|
|
catch(e) {
|
|
|
|
dump("*** NO DEFAULT PREF for " + prefstring + ", AND ONE *IS* NEEDED! GO MAKE ONE, FOOL!\n");
|
|
|
|
continue;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
default:
|
2000-01-07 11:57:38 +00:00
|
|
|
// TODO: define cases for other pref types if required
|
2000-01-07 06:52:11 +00:00
|
|
|
break;
|
|
|
|
}
|
2000-01-07 11:57:38 +00:00
|
|
|
//dump("*** elementvalue: " + prefvalue + "\n");
|
2000-01-07 06:52:11 +00:00
|
|
|
this.wsm.PageData[tag][prefid] = []; // otherwise jseng complains
|
|
|
|
var root = this.wsm.PageData[tag][prefid];
|
|
|
|
root["id"] = prefid;
|
|
|
|
if( prefElements[i].type.toLowerCase() == "radio") {
|
|
|
|
// radio elements are a special case - we have a value in the prefs for
|
|
|
|
// only one of however many there are, and in thsi case "value" represents
|
|
|
|
// the index of the one that we want to check, not an actual settable value.
|
|
|
|
// here is where the "prefindex" attribute on such elements comes into
|
|
|
|
// play. We compare this with the value read from nsIPref, and if it matches,
|
|
|
|
// that is the radioelement that needs to be checked.
|
|
|
|
var prefindex = prefElements[i].getAttribute("prefindex");
|
2000-01-07 11:57:38 +00:00
|
|
|
if( prefElements[i].getAttribute("preftype").toLowerCase() == "bool" )
|
|
|
|
prefvalue = prefvalue.toString(); // need to explicitly type convert on bool prefs.
|
|
|
|
|
|
|
|
if( prefindex == prefvalue )
|
2000-01-07 06:52:11 +00:00
|
|
|
prefvalue = true; // match! this element is checked!
|
2000-01-07 11:57:38 +00:00
|
|
|
else if( prefElements[i].getAttribute("preftype").toLowerCase() != "bool" )
|
2000-01-07 06:52:11 +00:00
|
|
|
prefvalue = false; // no match. This element.checked = false;
|
|
|
|
}
|
|
|
|
root["value"] = prefvalue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
this.wsm.SetPageData( tag, false ); // do not set extra elements, accept hard coded defaults
|
2000-01-08 12:21:29 +00:00
|
|
|
|
|
|
|
// run startup function on panel if one is available.
|
|
|
|
if( window.frames[ this.contentFrame ].Startup )
|
|
|
|
window.frames[ this.contentFrame ].Startup();
|
2000-01-07 06:52:11 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/** class ChromeFolder ( string root );
|
|
|
|
* - purpose: a general object to provide easy access to chrome folders
|
|
|
|
* - in: string representing root, e.g. "chrome://bookmarks/"
|
|
|
|
* - out: nothing;
|
|
|
|
**/
|
|
|
|
function ChromeFolder( root )
|
|
|
|
{
|
|
|
|
if( root.charAt(root.length-1) != "/" )
|
|
|
|
root += "/";
|
|
|
|
this.content = root + "content/";
|
|
|
|
this.skin = root + "skin/";
|
|
|
|
this.locale = root + "locale/";
|
|
|
|
}
|