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

[Friendly Jira Robot (Jira)]

     [ https://issues.jboss.org/browse/ERT-744?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Friendly Jira Robot resolved ERT-744.
-------------------------------------
    Resolution: Done


> [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
>            Priority: Minor
>              Labels: 4.13_M3, SWT, bzira
>
> 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)