FoldGutterConfig class
Configuration for the fold gutter.
Constructors
- FoldGutterConfig({String openText = '⌄', String closedText = '›', bool foldingChanged(ViewUpdate update)?})
-
const
Properties
- closedText → String
-
Text used to indicate that a given line is folded.
Defaults to
"›".final - foldingChanged → bool Function(ViewUpdate update)?
-
When given, if this returns true for a given view update,
recompute the fold markers.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- openText → String
-
Text used to indicate that a given line can be folded.
Defaults to
"⌄".final - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
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