Changeset 6403

Show
Ignore:
Timestamp:
08/19/08 14:36:45 (5 months ago)
Author:
FND
Message:

SimpleSearchPlugin?: update highlighting within story tiddlers

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • Trunk/contributors/FND/plugins/SimpleSearchPlugin.js

    r6402 r6403  
    3838         
    3939        displayResults: function(matches, query) { 
     40                story.refreshAllTiddlers(true); // update highlighting within story tiddlers 
    4041                var el = document.getElementById(this.containerId); 
    4142                query = '"""' + query + '"""'; // prevent WikiLinks