forked from qt-creator/qt-creator
The border around the selection overlaps the line rect, so in order to correctly repaint the selection when scrolling we need to widen the prefiltering of painted selection. Change-Id: I953749571e3e9ae412bf05f47ab3c4c3bfb8861e Reviewed-by: Christian Stenger <christian.stenger@qt.io>
14 KiB
14 KiB