Possible fix to pcmanfm interface and keyboard freeze

[CaptainBlood]

Hi
For those experiencing pcmanfm freezes and maybe general keyboard lock, it could be worth trying to update to 1.3.0, as reported in https://bugs.gentoo.org/672284
Please note that lxde.org published 1.3.1 versions of pcmanfm on 2019/12/17.
These versions may fix rhe segfault mentionned in bugzilla above, not tried here yet.
Thks 4 ur attention.

EDIT: pcmanfm 1.3 kept causing issues here, at least with libfm set@1.2.5.
In a near future, will spent some for libfm & libfm-extra update.
Will keep informed here.

Thks 4 ur attention.