View | Details | Raw Unified | Return to bug 229340 | Differences between
and this patch

Collapse All | Expand All

(-)src/org/eclipse/ui/internal/forms/widgets/TextSegment.java (-1 / +1 lines)
Lines 297-303 Link Here
297 
		if (isSelectable())
 297 
		if (isSelectable())
298 
			lineWidth += 1;
 298 
			lineWidth += 1;
299 
		locator.x += lineWidth;
 299 
		locator.x += lineWidth;
300 
		locator.width = width;
 300 
		locator.width = locator.indent + lineWidth;
301 
		locator.rowHeight = Math.max(locator.rowHeight, lineExtent.y);
 301 
		locator.rowHeight = Math.max(locator.rowHeight, lineExtent.y);
302 
		locator.leading = Math.max(locator.leading, fm.getLeading());
 302 
		locator.leading = Math.max(locator.leading, fm.getLeading());
303 
		if (oldFont != null) {
 303 
		if (oldFont != null) {

Return to bug 229340