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