Dear users, Please note that, from Monday, August 16, 2019, RSA keys shorter than 2048bit will no longer be accepted for security reasons. Please update your keys as needed before this date. If you need assistance with regard to this process, please contact

Thank you for your understanding.

Commit 45a4e1cb authored by Nico Mack's avatar Nico Mack

Fixed a bug causing htmlContent to be cropped if insetBorder was

parent fd4cc6b8
......@@ -157,7 +157,12 @@ public class HtmlBox extends SelectableCorona implements InformationReceiver<Str
editor.setContentType("text/html"); //$NON-NLS-1$
editor.setSize(new Dimension((int) shapeBounds.getWidth(), (int) shapeBounds.getHeight()));
int width = (int) (shapeBounds.getWidth() - 2 * insetBorder);
int height = (int) (shapeBounds.getHeight() - 2 * insetBorder);
editor.setSize(new Dimension(width, height));
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment