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, and not as easy to work with. Card is very handy for all sorts of little mechanical fixes.


NT