v3.3.3.-beta1 - window command bar buttons badly formatted

The issue you’re seeing is due to a change in one of our dependencies MigLayout, which we upgraded after releasing 3.3.2. The breaking commit in MigLayout is this one:

github.com/mikaelgrev/miglayout … 2c1e18aae6

I can’t tell if there’s s problem there or if the change unmasks a bug in something else. It’s there to be examined in case anyone is interested. The relevant lines in our code are in Map.java, and involve the toolBar.

Try VASSAL-3.3.3-SNAPSHOT-bug13319-dd452c7ba.

I’ve added a 1px inset at both top and bottom of the map-contributed toolbar, which seems enough to get it to paint full height. There’s nothing I can or should do about the width of the verticals between the buttons. It’s correct to collapse the borders of adjacent buttons. The other buttons are the ones being drawn wrong.

Looks fine to me in both modules that I’ve looked at. The buttons all look ok now and more space on the toolbar ought to be better.

Mark