host.repaint(x,y,size.width - x,metrics.getHeight());
host.repaint(x,y,size.width - x,metrics.getHeight() + metrics.getMaxAscent());
	private void forceRepaint(FontMetrics metrics, int x, int y)	{		Container host = getContainer();		Dimension size = host.getSize();		/**		 * We repaint the next line only, instead of the		 * entire viewscreen, since PlainView doesn't (yet)		 * collapse multiple repaint requests.		 */		host.repaint(x,y,size.width - x,metrics.getHeight());	}