Hi Arlen, Astrid, Hi everyone, I have a code question here that I have been puzzling over for > a long time. Every single widget returns true or false and a comment says > "Selectively refreshes the widget if needed. Returns true if the widget or > any of its children needed re-rendering". Now my question is, is there > anything that uses that returned value to tell if the widget or any of its > children need rerendering? If you know, please tell me where? I have been > unable to find it. >
The return value is used in several places in render.js: https://github.com/Jermolene/TiddlyWiki5/blob/master/core/modules/startup/render.js The return value of refresh() for the page title and the stylesheets is used to determine whether to extract the updated text from the widget tree and use it for document.title or the page stylesheet respectively. > So it appears that the extra two parameters are never used. And I guess it's also the case that the ultimate return value of the stack of calls to refresh() is never used for anything either. Perhaps Jeremy originally intended to use it for some purpose, then found a better way. You are correct; the extra two parameters are obsolete. I'll commit a fix shortly, Best wishes Jeremy > Thanks, Arlen > > -- > You received this message because you are subscribed to the Google Groups > "TiddlyWikiDev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/tiddlywikidev. > For more options, visit https://groups.google.com/d/optout. > -- Jeremy Ruston mailto:[email protected] -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywikidev. For more options, visit https://groups.google.com/d/optout.
