Summary: | Add numbers to windows, when they are ungrouped | ||
---|---|---|---|
Product: | [Plasma] plasmashell | Reporter: | Ural <uralzima> |
Component: | Icons-only Task Manager | Assignee: | Eike Hein <hein> |
Status: | RESOLVED INTENTIONAL | ||
Severity: | normal | CC: | kde, nate, plasma-bugs |
Priority: | NOR | ||
Version: | 5.10.5 | ||
Target Milestone: | 1.0 | ||
Platform: | Gentoo Packages | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Ural
2017-09-16 12:31:44 UTC
I don't understand. If you have 3 dolphin's open, you have it ungrouped so you have 3 icons - what number do you want on each item? I know it may sound crazy, I'll try to explain. I have 4 virt-managers, 3-4 dolphins, 4-5 firefox windows, and I never turn off my computer. So they are always open, and randomly arranged. It would be nice to differ them somehow, like a number in the corner, some identicon or just color it to some other color, or just ability to change the icon totally and remember it, like kwin remembers settings for each window. Grouping is not user-friendly in switching windows of same app. I run different firefox and chromium profiles (so multiple windows), I tried to change icon with .desktop file, but after start new icon disappears and old appears... I hope you understood the idea. Hi Ural! I'm not sure it makes sense for us to implement what you're requesting for such a specific use case. However, thanks to Plasma's flexibility, maybe we can find you a new approach that gives you what you want in principle. With such a complicated setup, it sounds like you might actually benefit from using the regular task manager in a vertical configuration, with enough horizontal width on your panel to see the icons' window titles, or at least the beginning of them. |