wrote in message
...
On Tuesday, 12 March 2019 22:44:16 UTC, ss wrote:
On 12/03/2019 22:18, dennis@home wrote:

I would use a strip of plastic, say cut from an old credit card, rather
than paper.

Yes I agree, I have put it back together with the paper but the paper
will probably compress after a while and then I will replace with a
strip of plastic.

Card doesn't compress over time IME. Plastic is slippery & more prone to
fall out,

Easy to add a little contact adhesive to stop that.

and not as easy to work with.

Even you should be able to manage to cut
up an old credit card or food container.

Card is very handy for all sorts of little mechanical fixes.

Plastic lasts much longer.