On Tue, 9 Apr 2013, Riccardo (Jack) Lucchetti wrote:
On Tue, 9 Apr 2013, Henrique Andrade wrote:
>>> (3) I really do not know how difficult, in terms of coding, is to
>>> implement the name of the new instances, but I think the PID
>>> solution is not good from my aesthetical point of view.
>>>
>>
>> The name? Like what, "Gretl the third"? Benedict XVI? Please explain.
>
> :-)
>
> I'm talking about the window titles of the instances. Let me explain using
> examples: "Gretl", "Gretl (5516)", "Gretl (4376)".
My question was: what do you propose instead of "Gretl (pid number)"? You can
write anything you want, provided you know what you want!!!
I agree that showing the PID in the title is not very elegant.
However, it is the only way I can think of (within reasonable
bounds of complexity) to ensure that when multiple instances
of gretl are running, each one has a unique window title.
As I mentioned before, the seemingly "nicer" option of
displaying a simple sequence number is not robust: the user
can easily break it by (e.g.) closing the first gretl window
while leaving the second one open, then starting another
instance.
Bear in mind that running multiple instances of gretl is not
something we'd expect users to do very often. On the Mac you
have to make a deliberate choice to do this, and now on Linux
and Windows (where previously it was possible to open multiple
instances inadvertently) you're asked if this is really what
you want.
Allin