Vscode: Add option to set a top-padding of the first line

[m93a]

• VSCode Version: 1.22.2
• OS Version: Windows 10 Pro 1709, build 16299.371

Steps to Reproduce:

1. Open new file
2. The first line is aesthetically close to the top of the window, especially if you want to start with a header or class definition etc.
3. Find out there is no way to add a padding there

I really think there should be an option editor.firstLinePadding for it.

[kirkstrobeck]

Agree, but think it could be editor.paddingTop, along with left and right.

[connor4312]

Definitely an edge case and not noticeable with small values, but the minimap doesn't take the padding into account when rendering 🙂

[alexdima]

@connor4312 Yes, that is the current way the minimap works. It does not render any view zones, only lines. This can be observed for all view zones, such as the ones added by the diff editor, the inline references and this new padding.