[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