GutterStyle class
Styling for the line-number gutter: the numbers themselves, the gap between the gutter and the code, and an optional divider between them.
Only used when a code widget's showLineNumbers is true.
Constructors
Properties
- dividerColor → Color?
-
Color of the vertical divider drawn between the gutter and the code,
centered in the spacing gap. When null, no divider is rendered.
final
- dividerThickness → double
-
Thickness of the divider in logical pixels. Defaults to
1.0. Ignored when dividerColor is null.final - hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- spacing → double?
-
Horizontal gap between the gutter and the code, in logical pixels. When
null, defaults to two character widths of the base text style, so the gap
scales with the font size.
final
- textColor → Color?
-
Color for the line numbers. Defaults to the theme foreground at low
opacity.
final
- textScale → double
-
Scales the line-number font size relative to the code. Defaults to
1.0(numbers match the code size).final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited