// Options that can be set in the options panel and/or cookies config.options = {
/*if(originalPath.substr(0,5) != "file:") { alert(config.messages.notFileUrlError); if(store.tiddlerExists(config.messages.saveInstructions)) story.displayTiddler(null,config.messages.saveInstructions); return; }*/
function saveFile(fileUrl,content) { var r = null; if(!r) r = mozillaSaveFile(fileUrl,content); if(!r) r = ieSaveFile(fileUrl,content); if(!r) r = javaSaveFile(fileUrl,content); if(!r) r = config.macros.PHPSaveFile(fileUrl,content); return r; } function loadFile(fileUrl) { var r = null; if((r == null) || (r == false)) r = mozillaLoadFile(fileUrl); if((r == null) || (r == false)) r = ieLoadFile(fileUrl); if((r == null) || (r == false)) r = javaLoadFile(fileUrl); if((r == null) || (r == false)) r = config.macros.PHPLoadFile(fileUrl); return r; }