Public bug reported:
Binary package hint: gnome-terminal
Hello,
since Intrepid gnome-terminal has lost the ability to change the icon of
a profile. It seems that this option was removed/is no longer available?
I would like to have this back so that I can have different icons for
different profiles.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
profile can't change terminal icon
https://bugs.launchpad.net/bugs/314046
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
