[JBoss JIRA] (ERT-728) [GTK3.22] Visual Glitch when/after resizing the JavaDoc overlay with GTK_OVERLAY_SCROLLING=0 [EBZ#546870]
by 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)
5 years, 7 months