Despite what I said a couple of weeks ago, I think I've now found a
reasonably reliable way of showing sequence numbers in the gretl
title bar when the user has two or more instances (copies) of gretl
running simultaneously.
Here's what's supposed to happen. The first gretl instance is always
just titled "gretl". The next concurrent instance is titled "gretl
(2)", the next again, "gretl (3)", and so on.
There's an ambiguity over what happens if, say, you have "gretl" and
"gretl (2)" running, then you close the first instance, then you
start another. The ambiguity is resolved in this way: the new
instance will have a sequence number 1 higher than the
highest-numbered running instance, so in the case just indicated it
will appear as "gretl (3)".
I believe this is now working on all OSes, but it would be nice to
have that confirmed (using CVS/snapshots, of course).
Allin