Ticket #612: ticket612.patch

File ticket612.patch, 317 bytes (added by FND, 5 years ago)

code courtesy of Eric

  • main.js

     
    5454        store.notifyAll(); 
    5555        t7 = new Date(); 
    5656        restart(); 
     57        refreshDisplay(); 
    5758        t8 = new Date(); 
    5859        if(pluginProblem) { 
    5960                story.displayTiddler(null,"PluginManager");