Property DisplayWidth

When implemented by a class, gets display width of the gutter, including line numbers and outlining area.

int DisplayWidth { get; }