📄 moz1012ex.txt
字号:
var rdfFileURL = 'chrome://jarfly/content/jar.rdf';
var gTreeBody = null;
var gListbox = null;
var gRDF = null;
function onload( )
{
fileUtils = new FileUtils( );
path = fileUtils.chrome_to_path(rdfFileURL);
if(navigator.platform == "Win32") {
path = path.replace(/\//g,"\\");
// Only needed on Windows, until JSLib is fixed
}
gRDF = new RDFFile(path,'jar:flies','http://mozdev.org/fly-rdf#');
gTreeBody = document.getElementById('tb');
gTreeBody.database.AddDataSource(gRDF.dsource);
gListbox = document.getElementById('list');
gListbox.database.AddDataSource(gRDF.dsource);
rebuildLists( );
}
function rebuildLists( )
{
gTreeBody.builder.rebuild( );
gListbox.builder.rebuild( );
}
function update( )
{
name = document.getElementById('nameField').value;
color = document.getElementById('colorField').value;
quantity = document.getElementById('quantityField').value;
seqNumber = -1;
del = false;
replace = false;
if(document.getElementById('delete').checked)
del = true;
if(document.getElementById('replace').checked)
replace = true;
var seqLength = 0;
if(gRDF.doesSeqExist('types'))
{
seqLength = gRDF.getSeqSubNodes('types').length;
//if(del)gRDF.removeSeq('types',false);
}
else
gRDF.addSeq('types');
for(i=0;i<seqLength;i++)
{
tempItem = 'types:_' + (i+1);
if(gRDF.getAttribute(tempItem,'name')==name)
seqNumber = gRDF.getAttribute(tempItem,'number');
}
if(seqNumber == -1)
{
item = 'types:_' + (seqLength+1);
gRDF.setAttribute(item,'name',name);
gRDF.setAttribute(item,'number',seqLength+1);
}
else
{
item = 'types:_' + seqNumber;
gRDF.setAttribute(item,'number',seqNumber);
}
if(color!='')
gRDF.setAttribute(item,'color',color);
if(quantity!='')
{
gRDF.setAttribute(item,'quantity',quantity);
gRDF.setAttribute(item,'dead',calcDead(quantity,replace));
}
if(!del)
gRDF.addNode(item);
else
gRDF.removeNode(item);
gRDF.flush( );
onload( );
}
function calcDead(quantity,replace)
{
if(!replace)
{
v = parseInt( (quantity * Math.random( )) * 0.13 );
return (v.toString( ));
}
else
return 0;
}
function changeC(color)
{
document.getElementById('colorField').value=color;
}
function changeQ(quantity)
{
document.getElementById('quantityField').value=quantity;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -