Changeset 811
- Timestamp:
- 2008-02-29 22:10:26 (10 months ago)
- Files:
-
- sandbox/serverswitcher/chrome/content/manager.js (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
sandbox/serverswitcher/chrome/content/manager.js
r809 r811 196 196 }, 197 197 pop: function() { 198 ++this.n; 198 199 return this.downloads.shift(); 199 200 }, 200 201 push: function(d) { 201 202 this.downloads.push(d); 202 ++this.n;203 203 }, 204 204 toString: function() {
