/*

				 * Goal: Center of thumb should align with center of line mark in overview ruler. 

				 */

//				//TODO: should move this into the painter in OverviewRuler

//				

//				ScrollBar verticalBar= textWidget.getVerticalBar();

//				double thumbTrackHeight= verticalBar.getThumbTrackBounds().height;

//				double thumbHeight= verticalBar.getThumbBounds().height;

//				double textLineCount= Math.max(1, textWidget.getLineCount());

//				int topIndex= textWidget.getTopIndex();

//				Rectangle clientArea= textWidget.getClientArea();

//				int bottomIndex= textWidget.getLineIndex(clientArea.y + clientArea.height);

//				double visibleLineCount= bottomIndex - topIndex + 1;

//				// (thumbHeight-additionalThumbHeight)/thumbTrackHeight == visibleLineCount/textLineCount:

//				double additionalThumbHeight= Math.max(0, thumbHeight - visibleLineCount/textLineCount*thumbTrackHeight);

//				

//				//TODO:

////				System.out.println(additionalThumbHeight);

////				fOverviewRuler.getControl().setBackground(fOverviewRuler.getControl().getDisplay().getSystemColor(SWT.COLOR_GREEN));

//				

//				int overviewRulerX= clArea.x + clArea.width - overviewRulerWidth - 1;

//				int overviewRulerY= (int)(clArea.y + arrowHeights[0] + additionalThumbHeight/2d);

//				int overviewRulerHeight= (int)(clArea.height - arrowHeights[0] - arrowHeights[1] - additionalThumbHeight - scrollbarHeight);

//				fOverviewRuler.getControl().setBounds(overviewRulerX, overviewRulerY, overviewRulerWidth, overviewRulerHeight);