Hi Ton Thanks for that - can you check the sizes of each file after you've re-saved them in the browser?
Many thanks Jeremy On Wed, Jan 1, 2014 at 1:08 PM, Ton Gerner <[email protected]> wrote: > Hi all, > > I forgot to mention the conditions: > Windows 7 64 bit > Firefox 26 > TW5.0.5-beta (standalone version) > > By accident I found the behavior as mentioned in my last post. > > Therefore I did a new - more reproducible - test. > I started with my toolbar guide (TW5_topmenu_toolbar_v4.html) and stripped > it down (in Firefox) to the bottom (TW5_topmenu_toolbar_v4_FF_emptied). > > TW5_topmenu_toolbar_v4.html [1]: > > 57 tiddlers > 102 system tiddlers > 305 shadow tiddlers > 2 overridden shadow tiddlers > The size of this TW is 1437 kB > > TW5_topmenu_toolbar_v4_FF_emptied [2]: > 0 tiddlers > 20 system tiddlers > > 305 shadow tiddlers > 0 overridden shadow tiddlers > The size of this TW is 1390 kB > > A standard empty.html is 673 kB > > To be sure it is not a browser issue, I repeated the procedure in Chrome > with the same result. > > When I compare [1] and [2] with WinMerge I find a lot of "old" tiddler > titles + 'Draft of' tiddler titles. > > It looks like deleted tiddlers are (partly?) still in the TW, although not > visible. > > Any idea? > > Cheers, > > Ton > > -- > You received this message because you are subscribed to the Google Groups > "TiddlyWiki" 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/tiddlywiki. > For more options, visit https://groups.google.com/groups/opt_out. > -- Jeremy Ruston mailto:[email protected] -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" 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/tiddlywiki. For more options, visit https://groups.google.com/groups/opt_out.
