TiddlyWiki.org

Ticket #417: ticket417.patch

File ticket417.patch, 0.8 kB (added by MartinBudden, 10 months ago)
  • js/TiddlyWiki.js

    old new  
    565565                                var title = match[1] ? match[1] : match[4]; 
    566566                                tiddler = this.fetchTiddler(title); 
    567567                                if(tiddler) { 
    568                                         results.push(tiddler); 
     568                                        results.pushUnique(tiddler); 
    569569                                } else if(store.isShadowTiddler(title)) { 
    570570                                        tiddler = new Tiddler(); 
    571571                                        tiddler.set(title,store.getTiddlerText(title)); 
    572                                         results.push(tiddler); 
     572                                        results.pushUnique(tiddler); 
    573573                                } 
    574574                        } else if(match[2]) { 
    575575                                //# matches (eg) [text[more text]] 
    576576                                if(match[2]=="tag") { 
    577577                                        this.forEachTiddler(function(title,tiddler) { 
    578578                                                if(tiddler.isTagged(match[3])) 
    579                                                         results.push(tiddler); 
     579                                                        results.pushUnique(tiddler); 
    580580                                        }); 
    581581                                } 
    582582                        }