| Summary: | gnome-terminal icon launcher doesn't work | ||
|---|---|---|---|
| Product: | [Plasma] plasmashell | Reporter: | lilydjwg |
| Component: | Task Manager and Icons-Only Task Manager widgets | Assignee: | Eike Hein <hein> |
| Status: | RESOLVED DOWNSTREAM | ||
| Severity: | normal | CC: | nate, plasma-bugs-null |
| Priority: | NOR | ||
| Version First Reported In: | 5.20.3 | ||
| Target Milestone: | 1.0 | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
lilydjwg
2020-11-18 16:05:08 UTC
Sounds like GNOME terminal is switching its ID after launch, which is generally poor practice. We have hardcoded exceptions for well-known apps which do this as a part of their fundamental architecture 9such as LibreOffice), but it really is a very lousy thing for an app to do and we would much prefer it if the app behaved nicely instead of us adding more app-specific workarounds. :) So please report this to the GNOME Terminal developers. Thanks! Can you explain what ID is GNOME terminal switching? I can't find any information about that. typically WM_NAME or WM_CLASS. |