src/vs/editor/browser/widget/diffEditorWidget.ts/DiffEditorWidgetInline/layout
class DiffEditorWidgetInline:	public layout(): number {
		// An editor should not be smaller than 5px
		return Math.max(5, this._decorationsLeft);
	}