Ok, so when in doubt, better to call dispose() than risking a memory leak?
I’m saying this because I would never have thought about calling dispose in this case.
The documentation says if a class has dispose, then it should be called when the objects become unused, not when… the value of some properties changes and some internal buffer changes are triggered.
Is it enough for me to stick with calling dispose when objects are unused, like the documentation says?
Or are there better guidelines on when to call dispose?