Next release of Java gui?
I use java GUI under Linux. I have some issues with current release, but I am not able to create bug reports (too busy on project). I hope that anybody does it, so I wonder if any dotted release has been released with cursor positioning fixed, or, if new release 7.20ver.3 will be released soon. I temporary use 7.20 rev2 for programmimg, but I need to switch to 7.10 when I need to change screen design in screen painter.
Thank you for answer,