Possible layout bug with JCheckBox

I've created my own CheckBox. It can use a set of custom icons depending on the "style" the user of the checkbox chooses.

In the editor, however, the text of the CheckBox does not respect the width of the custom icon:


I thought first this must be an issue with Swing (http://stackoverflow.com/questions/34611500/jcheckbox-text-overlaps-custom-icon), but I tried to reproduce the issue in a standalone Java application, without success (in other words, the layout is just fine in the Java application).

Is it possible the this issue is rooted in the MPS editor layout?

For investigation / reproduction, you can find my CheckBox project with a sample language that illustrates the issue, here:  https://github.com/RobertWalter83/mps.common.ui

Please sign in to leave a comment.