2013/4/9 Allin Cottrell <cottrell(a)wfu.edu>
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
>> I'm talking about the window titles of the instances. Let me explain
>> 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.
Dear Allin and Jack,
What do you think about naming the new window with the words "session"
instead of "example"? In fact, in my interpretation, when we open a new
window that is independent from the others, we're starting a new "session".
Allin, is it too much difficult implement the use of capital letters
(A,B,C,...) instead of the PID?
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.
I think we could put the "instance stuff" inside the Preferences menu.
Something like that:
"[ ] Double-clicking in Gretl files (.inp, .gdt, .gretl) will open it in a
I hope these (small) suggestions can help you ;-)