Summary: | When a new profile is created, it is applied to all open gnome-terminal | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Christophe <cjouny> |
Component: | [OLD] GNOME | Assignee: | Gentoo Linux Gnome Desktop Team <gnome> |
Status: | RESOLVED UPSTREAM | ||
Severity: | trivial | ||
Priority: | High | ||
Version: | unspecified | ||
Hardware: | AMD64 | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Christophe
2004-03-10 11:47:59 UTC
could just as well be a feature (?) but i guess you are right. should push upstream I agree it can be considered trivial, but I hardly see how it could be considered a feature... it nullified the advantage of having separate profiles. I used profiles to distinguish which machine I am connected to. With 10-20 terminals open at a time (distributed computing on cluster), having all of them "reset" to same profile is annoying to say the least. This is upstream here: http://bugzilla.gnome.org/show_bug.cgi?id=158031. |