Bommels05/Mozilla
Bommels05/Mozilla
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

- venkman only -

Browse Source 
prepare for "group/ungroup" UI in the file list


git-svn-id: svn://10.0.0.236/trunk@102479 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
rginda%netscape.com 2001-09-06 22:57:34 +00:00
parent af90d76aa3
commit 62a5fb2141
2 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
mozilla/extensions/venkman/resources/content/venkman-outliners.js
View File

@ -86,6 +86,7 @@ function initOutliners()
outliner.outlinerBoxObject.view = console.sourceView;
console.scriptsView.childData.setSortColumn("baseLineNumber");
console.scriptsView.groupFiles = true;
console.scriptsView.atomUnknown = atomsvc.getAtom("ft-unk");
console.scriptsView.atomHTML = atomsvc.getAtom("ft-html");
console.scriptsView.atomJS = atomsvc.getAtom("ft-js");
@ -354,11 +355,14 @@ SourceRecord.prototype.isLoaded = false;
SourceRecord.prototype.sortCompare =
function sr_compare (a, b)
{
if (a.group < b.group)
return -1;
if (console.scriptsView.groupFiles)
{
if (a.group < b.group)
return -1;
if (a.group > b.group)
return 1;
if (a.group > b.group)
return 1;
}
if (a.displayName < b.displayName)
return -1;

12
mozilla/extensions/venkman/resources/content/venkman-trees.js
View File

@ -86,6 +86,7 @@ function initOutliners()
outliner.outlinerBoxObject.view = console.sourceView;
console.scriptsView.childData.setSortColumn("baseLineNumber");
console.scriptsView.groupFiles = true;
console.scriptsView.atomUnknown = atomsvc.getAtom("ft-unk");
console.scriptsView.atomHTML = atomsvc.getAtom("ft-html");
console.scriptsView.atomJS = atomsvc.getAtom("ft-js");
@ -354,11 +355,14 @@ SourceRecord.prototype.isLoaded = false;
SourceRecord.prototype.sortCompare =
function sr_compare (a, b)
{
if (a.group < b.group)
return -1;
if (console.scriptsView.groupFiles)
{
if (a.group < b.group)
return -1;
if (a.group > b.group)
return 1;
if (a.group > b.group)
return 1;
}
if (a.displayName < b.displayName)
return -1;