[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#39459: Multiple terminal programs to choose from, not just the Gnome
|
From: |
Leo Prikler |
|
Subject: |
bug#39459: Multiple terminal programs to choose from, not just the Gnome default |
|
Date: |
Thu, 06 Feb 2020 23:57:51 +0100 |
|
User-agent: |
Evolution 3.32.4 |
That's not a bug, but a feature. Unless desktop files are written in a
way that they're excluded in some DE (using a custom key to do so, mind
you), all DEs will show the item. You can "fix" this behaviour by
installing just what you want ;)