GutterStyle

Defines gutter appearance (line numbers) for the code editor.

Properties

• background_color(Optional[ColorValue]) –

  Background color for the gutter.

• margin(Optional[Number]) –

  Margin outside the gutter.

• show_errors(bool) –

  Whether to show errors in the gutter.

• show_folding_handles(bool) –

  Whether to show folding handles in the gutter.

• show_line_numbers(bool) –

  Whether to show line numbers in the gutter.

• text_style(Optional[TextStyle]) –

  Text style for line numbers.

• width(Optional[Number]) –

  Fixed width of the gutter.

Properties

background_color class-attribute instance-attribute

background_color: Optional[ColorValue] = None

Background color for the gutter.

margin class-attribute instance-attribute

margin: Optional[Number] = None

Margin outside the gutter.

show_errors class-attribute instance-attribute

show_errors: bool = True

Whether to show errors in the gutter.

show_folding_handles class-attribute instance-attribute

show_folding_handles: bool = True

Whether to show folding handles in the gutter.

show_line_numbers class-attribute instance-attribute

show_line_numbers: bool = True

Whether to show line numbers in the gutter.

text_style class-attribute instance-attribute

text_style: Optional[TextStyle] = None

Text style for line numbers.

width class-attribute instance-attribute

width: Optional[Number] = None

Fixed width of the gutter.