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

[Friendly Jira Robot (Jira)]

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)