GutterStyle

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

Properties

• background_color(ColorValue | None) –

  Background color for the gutter.

• margin(Number | None) –

  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(TextStyle | None) –

  Text style for line numbers.

• width(Number | None) –

  Fixed width of the gutter.

Properties

background_color class-attribute instance-attribute

background_color: ColorValue | None = None

Background color for the gutter.

margin class-attribute instance-attribute

margin: Number | None = 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: TextStyle | None = None

Text style for line numbers.

width class-attribute instance-attribute

width: Number | None = None

Fixed width of the gutter.