gistfile1.js

function loadPrefs() {
    stream = new air.FileStream();

    var prefsFile = getPrefsFile();
    if (prefsFile.exists) {
        stream.open(prefsFile, air.FileMode.READ);
	prefsXML = stream.readUTFBytes(stream.bytesAvailable);

	stream.close();
	var domParser = new DOMParser();
	prefsXML = domParser.parseFromString(prefsXML, "text/xml");

	var prefTime = prefsXML.getElementsByTagName('time');
	setTime(prefTime[0].firstChild.nodeValue);

	var prefBounce = prefsXML.getElementsByTagName('bounce');
	setBounce(prefBounce[0].firstChild.nodeValue);

	var prefSound = prefsXML.getElementsByTagName('sound');
	setSound(prefSound[0].firstChild.nodeValue);
    }
}