[jbosstools-issues] [JBoss JIRA] (ERT-744) [GTK] Browser widget not sized properly [EBZ#547933]

Friendly Jira Robot created ERT-744: --------------------------------------- Summary: [GTK] Browser widget not sized properly [EBZ#547933] Key: ERT-744 URL: https://issues.jboss.org/browse/ERT-744 Project: Eclipse Release Train Issue Type: Task Components: Platform Reporter: Friendly Jira Robot Created attachment 278821 Faulty browser widget size on ubuntu I saw this problem on Ubuntu Mate but also on a default installation of Ubuntu 19.04. When running Snippet351 (or most of the other browser widgets) the browser widget is not sized correctly. I attached a screenshot and if you look closely you can see one black pixel in the top left corner which is the browser widget. One workaround is to add an extra shell.requestLayout() after shell.open() or explicit setting a shell size. Also the browser widget seem to fix itself in some situations e.g. minimize and restore the window. org.eclipse.swt.internal.deviceZoom=100 org.eclipse.swt.internal.gdk.backend=x11 org.eclipse.swt.internal.gtk.theme=Yaru org.eclipse.swt.internal.gtk.version=3.24.8 org.eclipse.swt.internal.webkitgtk.version=2.24.1 -- This message was sent by Atlassian Jira (v7.12.1#712002)