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.

Reply via email to