Re: [jarp-developer] New development version

[Ricardo S. P. <ric...@fl...>]

Hi,

> > Ok, you just say when the code is ready for 1.1.12 or when you have
> checked
> > something in that you think I can build and test.
>
> I'll do it pretty soon now. There just some things I'd like to debug
first.

Just released a lot of stuff. Take a look at the ChangeLog to see a list of
the most significant changes.

> For instance there is a little bug in simulation that is annoying me: try
to
> simulate, then undo the transition, then click it again and try to undo it
> again. It won't undo. I'll fix that and commit.

I couldn't nail this one, so I'm still chasing it down. I probably fix it
until the end of the week. For now, I will let this as an open bug.

> The only "problem" with comments is that they "break" compatability with
> PNML to some degree: to save comment information, I created a "comment"
XML
> tag, that doesn't exist in the original PNML specification.
>
> This shouldn't be a big problem, since a PNML parser that doesn't
understand
> "comment" tags should, in my opinion, ignore it...

Please try to create a net using comments and tell me if you think that it
is a big problem "breaking" the standard in this way.

> > Could it be some redraw or double buffering thing? I also noticed that
the
> > selection box sometimes visually vanish in certain positions while
making
> a
> > group selection. Everything else equal, that make it look like there are
> > some extra redraw events so that the selection box ends up being erased
> > instead of drawn (assuming it is drawn using XOR mode).

I tried to set the DrawingView as double buffered and single buffered, and
it changed nothing. The flicker remains.
Maybe it's a problem with JDK 1.4. I'll setup JDK 1.3 in my machine and try
with it.

BR,
Ricardo