Thanks Michael.
I've just realised what is happening:
If I zoom in or out the image, the name in the title bar loses the <2> and
goes back to the expected name, so perhaps this is a problem of refreshing
the window title only. Resizing the window frame does not refresh it either.
I suspect this could be just a window manager issue (I am running KDE).
Cheers,
Gabriel
> The name when I do this is with Win10 is "clown.jpg".
> ImageJ 1.52015 Java 1.8.0_112
--
ImageJ mailing list:
http://imagej.nih.gov/ij/list.html