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 > [email protected] > http://lists.gnu.org/mailman/listinfo/denemo-devel _______________________________________________ Denemo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/denemo-devel
