[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 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)