src/vs/editor/common/viewLayout/linesLayout.ts/LinesLayout/setPadding
class LinesLayout:	public setPadding(paddingTop: number, paddingBottom: number): void {
		this._paddingTop = paddingTop;
		this._paddingBottom = paddingBottom;
	}