Am using Ubuntu 18.04 with Mate DE. The file manager Caja v 1.20.2 crashes (or terminates) every time an external USB disk is “Safely Removed” (unmounted) by right-clicking on the drive entry in the side panel of Caja.
A search on the web revealed that this was a reported bug #1787242 on launchpad in 2018. [https://bugs.launchpad.net/ubuntu/+source/caja/+bug/1787242]
The bug log says that this was fixed in Ubuntu Mate 19.04 in May 2019 in version 1.20.3. So I am concluding that the version 1.20.2 that I am using (because that is what is there in the Ubuntu 18.04 repository) still has this problem.
Looking to confirm my understanding as above, and if there is a way by which I could get Caja V 1.20.3 under Ubuntu 18.04.