TiddlyWiki.org

Changeset 2968

Show
Ignore:
Timestamp:
26/11/07 10:13:51 (9 months ago)
Author:
JeremyRuston
Message:

Fixed problem with tiddler filters returning duplicates (ticket #417)

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • Trunk/core/js/TiddlyWiki.js

    r2967 r2968  
    569569                                tiddler = this.fetchTiddler(title); 
    570570                                if(tiddler) { 
    571                                         results.push(tiddler); 
     571                                        results.pushUnique(tiddler); 
    572572                                } else if(store.isShadowTiddler(title)) { 
    573573                                        tiddler = new Tiddler(); 
    574574                                        tiddler.set(title,store.getTiddlerText(title)); 
    575                                         results.push(tiddler); 
     575                                        results.pushUnique(tiddler); 
    576576                                } 
    577577                        } else if(match[2]) { 
     
    580580                                        this.forEachTiddler(function(title,tiddler) { 
    581581                                                if(tiddler.isTagged(match[3])) 
    582                                                         results.push(tiddler); 
     582                                                        results.pushUnique(tiddler); 
    583583                                        }); 
    584584                                }