Property LineNumbersLeftIndentInPixels
LineNumbersLeftIndentInPixels
When implemented by a class, gets line numbers indentation from the left gutter border in pixels.
int LineNumbersLeftIndentInPixels { get; }
When implemented by a class, gets line numbers indentation from the left gutter border in pixels.
int LineNumbersLeftIndentInPixels { get; }