On Tue, 25 Jan 2011 11:03:10 +0300 Michael Tokarev <m...@tls.msk.ru> wrote:
> 24.01.2011 19:44, Tony Houghton wrote: > > > it should and I felt that having profile options for both would > > make the dialog a little complex. But it's not hard to persuade me > > to change my mind on details like this :-). > > Um, I'm not sure I understand: for _both_ of what? The tab name can be set independently from the window title. > I see one option to change _current_ window title, > which is good. But it is, in my opinion, entirely > illogical to not have it in profile section too -- > as in, profile first, "current window" second for > almost every option out there is, again IMHO, the > plan... ;) OK, that's probably the best way to cater for everyone, but at the expense of complexity. > Maybe I don't understand something and just don't > know how to use it properly, -- just tell me how > it is supposed to be used :) > > Note that, as far as I know, roxterm is the only > terminal emulator out there that adds its own name > before "user string" in the title. Usually it's > done the other way around -- adding the name _after_ > the most important information (which is the "user > string" in this case), if at all. Good point. I suppose a terminal emulator should be "invisible": it's what you're running in it that's important, not the terminal itself. It's tempting to force the window title to simply copy the tab label and not be configurable at all, but I remember someone specifically asked for the -T option and they might not be happy if it changes its meaning from window title to tab name. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
