Opened 7 years ago

Closed 7 years ago

#4619 closed defect (fixed)

Horizontal grey lines in documentation browser

Reported by: anonymous Owned by: Adeel Asghar
Priority: low Milestone: 1.13.0
Component: OMEdit Version:
Keywords: Cc:

Description

Consider a documentation browser, for instance showing Modelica.Blocks.Examples.FilterWithRiseTime.
When we scroll the documentation using the vertical scroll bar, horizontal grey lines appear while we are holding down the mouse. They are weird but not harmful: they disappear when the mouse button is released.
The outcome is a bit worser when OMEdit is used on a laptop with touch-pad: the grey lines in that case would not disappear.
To make them disappear the mouse cursor must be moved so that to hover the scrollbar.

Change History (1)

comment:1 by Adeel Asghar, 7 years ago

Resolution: fixed
Status: newclosed

Fixed in 9e5203/OMEdit.

Note: See TracTickets for help on using tickets.