Changeset 2968
- Timestamp:
- 26/11/07 10:13:51 (9 months ago)
- Files:
-
- Trunk/core/js/TiddlyWiki.js (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
Trunk/core/js/TiddlyWiki.js
r2967 r2968 569 569 tiddler = this.fetchTiddler(title); 570 570 if(tiddler) { 571 results.push (tiddler);571 results.pushUnique(tiddler); 572 572 } else if(store.isShadowTiddler(title)) { 573 573 tiddler = new Tiddler(); 574 574 tiddler.set(title,store.getTiddlerText(title)); 575 results.push (tiddler);575 results.pushUnique(tiddler); 576 576 } 577 577 } else if(match[2]) { … … 580 580 this.forEachTiddler(function(title,tiddler) { 581 581 if(tiddler.isTagged(match[3])) 582 results.push (tiddler);582 results.pushUnique(tiddler); 583 583 }); 584 584 }