id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4619	Horizontal grey lines in documentation browser	anonymous	Adeel Asghar	"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."	defect	closed	low	1.13.0	OMEdit		fixed