Thank you Jeremy. On Monday, 1 September 2014 20:48:16 UTC+1, Jeremy Ruston wrote: > > Hi James > > I believe the problem is fixed here: > > > https://github.com/Jermolene/TiddlyWiki5/commit/ca1de2be99bad23f28a3400c567ee653ee5576ee > > Many thanks for bringing it up, > > Best wishes > > Jeremy > > > On Sat, Aug 30, 2014 at 10:55 PM, Jeremy Ruston <[email protected] > <javascript:>> wrote: > >> Thanks James, that's a newly introduced bug that I hadn't spotted. I'll >> fix it tomorrow, >> >> Best wishes >> >> Jeremy >> >> >> On Sat, Aug 30, 2014 at 10:50 PM, James Anderson <[email protected] >> <javascript:>> wrote: >> >>> Currently when I change a theme I see all the shadow tiddlers for that >>> theme being copied to the \tiddlers folder e.g: >>> >>> $__themes_tiddlywiki_vanilla_base.tid >>> $__themes_tiddlywiki_vanilla_metrics_fontsize.tid >>> $__themes_tiddlywiki_vanilla_metrics_lineheight.tid >>> etc... >>> >>> Which means if I make a change to the theme's original source and >>> restart the server It seems to default to using these now outdated copies. >>> Is this intentional? I seem to remember themes updating properly on restart >>> before, is there a specific reason for this change or am i missing >>> something new to prevent this duplication of data? >>> >>> -- >>> 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] <javascript:>. >>> To post to this group, send email to [email protected] >>> <javascript:>. >>> 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] <javascript:> >> > > > > -- > Jeremy Ruston > mailto:[email protected] <javascript:> >
-- 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.
