No, it’s unsolved.
Overall, just an outstanding back and forth with you, uckelman.
Tremendous, really
Glad I could help.
I’ve added a link to this topic to the issue in the bug tracker.
FYI, I think there’s a very strong chance that it’s a bug in the underlying Java Swing UI, not a bug in VASSAL, in which case the odds of it getting fixed are very slim.
Version 4 of VASSAL will be moving away from Java, so the bug should be gone once it is released (no, there’s no ETA for version 4 yet, sorry).