Re: [Denemo-devel] Does PopClipboard delete the popped one?

[Richard Shann]

push followed by pop do not eat memory, (or if they do it is memory leak
needing fixing :)
Unbalanced push will hog memory.
Richard

On Wed, 2011-03-02 at 17:13 +0100, Nils Gey wrote:
> I just inserted DeleteClipboard to split measure, which uses push and pop 
> clipboard. I now think this was nonsense. For a moment I had the thought that 
> all the clipboards created with split must be somewhere eating memory, but it 
> is now my strong guess that PopClipboard already deletes the popped clipboard.
> 
> Is this is true? Then I will remove ClearClipboard from split.
> 
> Nils
> 
> _______________________________________________
> Denemo-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/denemo-devel