BOY Image widget with border resizes in strange ways

[kasemir]

To reproduce:

• Create new *.opi file
• Add Image widget, using for example the ../BOY Examples/pictures/neutron.jpg image file
  -> Image can be moved and resized in the editor. Good.
• Change "Border Style" from default "None" to "Line Style"
  -> Trying to move or resize the image with the mouse causes it to shrink. Not good.
• Set "Auto Size" as well as "Stretch to Fit"
  -> Editor shrinks image to nothing. Really bad.

Workaround: Don't enable border, autosize and stretch. Arrange the widget first, then enable the border.

While this looks like a rather specific image widget bug, it may be caused by the basic BOY behaviour that the widget border, being 'inside' the widget bounds, reduces the inner body bounds of the widget. So adding/removing a border effectively resizes the widget.