/** * Copyright (c) 2014 by Brainwy Software LTDA. All Rights Reserved. * Licensed under the terms of the Eclipse Public License (EPL). * Please see the license.txt included with this distribution for details. * Any modifications to this file must keep this entire header intact. */ package org.python.pydev.shared_ui.editor; import org.eclipse.swt.graphics.GC; public final class VerticalLinesToDraw { public final int x0; public final int x1; public final int y0; public final int y1; public VerticalLinesToDraw(int x0, int y0, int x1, int y1) { this.x0 = x0; this.x1 = x1; this.y0 = y0; this.y1 = y1; } public void drawLine(GC gc) { gc.drawLine(this.x0, this.y0, this.x1, this.y1); } public VerticalLinesToDraw copyChangingYOffset(int lineHeight) { return new VerticalLinesToDraw(this.x0, this.y0 + lineHeight, this.x1, this.y1 + lineHeight); } }