Re: [Plplot-devel] Setting windows title

2009-11-18 Thread Maurice LeBrun
On Wednesday, November 18, 2009 at 13:00:09 (-0800) Alan W. Irwin writes: > I agree a prompt should be available for all interactive devices, but to me > stderr (or stdout) output is fine (and can allow for a longer prompt). Is > there some reason why you prefer the prompt in the windows title

Re: [Plplot-devel] Setting windows title

2009-11-18 Thread Alan W. Irwin
On 2009-11-18 13:20-0600 Hezekiah M. Carty wrote: > On Tue, Nov 17, 2009 at 1:29 PM, Alan W. Irwin >> There are several issues you have touched on. >> >> As far as the default window title is concerned, I think it should identify >> the device (some of them do not identify themselves as I discover

Re: [Plplot-devel] Setting windows title

2009-11-18 Thread Hezekiah M. Carty
On Tue, Nov 17, 2009 at 1:29 PM, Alan W. Irwin wrote: > On 2009-11-17 13:59- Andrew Ross wrote: > >> >> I've closed a request on the feature tracker for the WM_CLASS property >> to be set in the xwin driver in order to set the window title. Firstly, >> I don't think this is the way to set the

Re: [Plplot-devel] Setting windows title

2009-11-17 Thread Alan W. Irwin
On 2009-11-17 13:59- Andrew Ross wrote: > > I've closed a request on the feature tracker for the WM_CLASS property > to be set in the xwin driver in order to set the window title. Firstly, > I don't think this is the way to set the window title. This got me > thinking though, and I discovered

Re: [Plplot-devel] Setting windows title

2009-11-17 Thread Hezekiah M. Carty
On Tue, Nov 17, 2009 at 7:59 AM, Andrew Ross wrote: > > I've closed a request on the feature tracker for the WM_CLASS property > to be set in the xwin driver in order to set the window title. Firstly, > I don't think this is the way to set the window title. This got me > thinking though, and I dis

[Plplot-devel] Setting windows title

2009-11-17 Thread Andrew Ross
I've closed a request on the feature tracker for the WM_CLASS property to be set in the xwin driver in order to set the window title. Firstly, I don't think this is the way to set the window title. This got me thinking though, and I discovered that there is a -plwindow option for setting the tit