Top/Bottom not painted when scrolling [was #7477]
{color:red}
reported by [~wissenbach] at 2008-01-11
previously known as [trac#11|http://www.textgrid.de/trac/ticket/11] {color}
The top and bottom (padding?) of elements is sometimes not painted (when scrolling) Example: [^bigfileKB_008.xml] Note: This occurs when a part of the box is out of screen, but not a line of text (essentially the boxes padding).