#47 arc weight editor bug

[Gergő Pintér]

Using many color in a complex petri net I have problems with the arc weight editor, namely it cannot show all of the colors properly. I attached a screenshot.

My working environment:

$ java -version
java version "1.7.0_71"
OpenJDK Runtime Environment (IcedTea 2.5.3) (Arch Linux build 7.u71_2.5.3-1-x86_64)
OpenJDK 64-Bit Server VM (build 24.65-b04, mixed mode)

[Gergő Pintér]

I forgot to mention, I have 10 colours, but the panel can show only 6 and it cannot be resized.