Hi Gary, On Mon, 6 Nov 2023 at 11:45, Gary Gregory <garydgreg...@gmail.com> wrote: > > Well, I use Eclipse, so... I won't be using whatever this does or when it > does it.
What version of Eclipse do you use? The Eclipse plugin is one class, I can probably fix it, compile it and release it. Piotr
