[dolphin] [Bug 420312] Dolphin services not being remove after uninstall
Patrick Silva
bugzilla_noreply at kde.org
Sat May 9 21:29:13 BST 2020
https://bugs.kde.org/show_bug.cgi?id=420312
--- Comment #12 from Patrick Silva <bugseforuns at gmx.com> ---
Thank you Christoph.
I have built 20.04 branch of Dolphin, uninstalled services are not immediately
removed from "Services" section of Dolphin settings when they are uninstalled.
The list of services only is updated when I reopen Dolphin settings, exactly as
mentioned in bug 405186 comment 7.
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the kfm-devel
mailing list