Re: rewriting history

[<pl...@pi...>]

On 11/19/13 16:24, Petr Mikulik wrote:
> There is no option to switch "history" between "compact" and "full"
> recording. That could be probably added...
>
> ---
> Petr Mikulik

that would be nice and presumably pretty trivial to just stop it doing 
the compacting.


If anyone can point me at the relevant code I will have a poke.

thx, Peter.