Hi Hans > > I've had the luxury of some enforced spare time during the last week, and > have been exploring TW5 cautiously, >
Great, I hope you enjoy it. > which means that I have done a lot of navigation within a relatively small > file. Perhaps that is the explanation for the size of the drop, > That sounds right. > > Assuming that $:/HistoryList does serve some purpose (that I've just > eliminated), would a "trim" of the oldest portion be preferable to a > complete deletion? > The plan is just to avoid persisting the HistoryList at all. Best wishes Jeremy > > Cheers, > Hans > > > On Thursday, January 30, 2014 8:20:14 AM UTC-5, Jeremy Ruston wrote: > >> Hi Alberto >> >> It could be the system tiddler $:/HistoryList. Currently, it builds up >> over time with a record of every navigation you've made within the wiki. >> You can safely delete it and it will be recreated as needed. >> >> Best wishes >> >> Jeremy >> >> >> >> On Thu, Jan 30, 2014 at 1:17 PM, Alberto Molina <[email protected]>wrote: >> >>> Hi everyone, >>> >>> I observed a strange behaviour with file size: two TW5 with exactly the >>> same content (~300 tiddlers) and different file size (1,2 Mb and 2,5 Mb >>> respectively). >>> >>> I just opened an empty TW5 and dropped in the content (my own tiddlers) >>> of another TW5 until both are the same. But the new one is half the size of >>> the old one. >>> >>> Any explanation? >>> >>> Alberto >>> >>> -- >>> 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] >> > -- 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.

