Summary: | duplicate item in launcher if pinned as favorite | ||
---|---|---|---|
Product: | [Applications] konsole | Reporter: | Tamás Bitai <kde-bugzilla> |
Component: | general | Assignee: | Konsole Developer <konsole-devel> |
Status: | RESOLVED DUPLICATE | ||
Severity: | minor | CC: | a.samirh78, bugseforuns |
Priority: | NOR | ||
Version: | 16.08.1 | ||
Target Milestone: | --- | ||
Platform: | Arch Linux | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Tamás Bitai
2016-09-28 13:38:36 UTC
(I am not with or against this proposed change, but IMHO gnome-shell should find a way to associate a running process with a .desktop file other than the name of the file... looking at [1], they have had to add a workaround even for gnome default apps... just my 2 piasters :) [1]https://git.gnome.org/browse/gnome-shell/tree/js/ui/appFavorites.js ). *** This bug has been marked as a duplicate of bug 383708 *** |