[jbosstools-issues] [JBoss JIRA] (ERT-728) [GTK3.22] Visual Glitch when/after resizing the JavaDoc overlay with GTK_OVERLAY_SCROLLING=0 [EBZ#546870]

[Friendly Jira Robot (Jira)]

Friendly Jira Robot created ERT-728:
---------------------------------------

             Summary: [GTK3.22] Visual Glitch when/after resizing the JavaDoc overlay with GTK_OVERLAY_SCROLLING=0 [EBZ#546870]
                 Key: ERT-728
                 URL: https://issues.jboss.org/browse/ERT-728
             Project: Eclipse Release Train
          Issue Type: Task
          Components: Platform
            Reporter: Friendly Jira Robot


Created attachment 278446
Screenshot of the bug.

When having GTK_OVERLAY_SCROLLING set to 0 and resizing the JavaDoc overlay, such that all content fits, the scrollbars disappear. Then there are some visual glitches in the space where the scrollbars would be. 

See attachments.



--
This message was sent by Atlassian Jira
(v7.12.1#712002)