|
From: Daniel J S. <dan...@ie...> - 2003-12-10 02:36:00
|
Ethan Merritt wrote: >On Tuesday 09 December 2003 10:08, Daniel J Sebald wrote: > > >>Petr Mikulik wrote: >> >> >>>It seems like most people agree that this patch is useful! Great! >>> >>> > >I cannot comment on how useful it is under Windows, OS2, etc. >If you need it, then fine. > >But I am not yet convinced it is useful in an X11 environment. >There are better solutions available at a higher level (the window >manager). > >I do take your point that the window title is not always obvious. >We have a "set term ... title 'foo'" option, but the user may not always >think to take advantage of it. Maybe we should add an auto-title >feature, similar to the auto-titling of plots themselves? > > >If the user has set an explicit title, then use that one. If the user has >not set a window title, then set it to match the title of the current plot >displayed in the window. Does that sound reasonable? > Not a bad idea, but I don't know what syntax would be used. Also, it might be nice to have a special character for the plot number, e.g., "set termtitle 'G #'". With that example, one could save space on the menu panel and actually see the number. (I pointed out that the new Gnome GUI has a better setup now, I think.) A # would mean put the plot window's number in the title. A ## would mean put a # in the title. Or vice versa. Dan |