Yes, it is PCManFM job to present that menu, but it is entirely depends on Gvfs - if that operation is supported then PCManFM shows that option, if it isn't, then doesn't. Probably in newer Ubuntu that operation was implemented in Gvfs, so it became available in PCManFM as well.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1445920 Title: pcmanfm won't allow renaming webdav resources To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pcmanfm/+bug/1445920/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs