FlarkReadDocument class final
Per-instance read-only projection. It owns no history, editing commands, composition state or code indentation service. The caller owns the backend.
- Implemented types
Constructors
- FlarkReadDocument(FlarkParseBackend _backend, String markdown, {int syncLimit = FlarkEditor.defaultSyncLimit, FlarkLiveLimits liveLimits = const FlarkLiveLimits()})
Properties
- codeEditing → CodeEditingDelegate?
-
no setteroverride
- document → FlarkDocument
-
no setteroverride
- hashCode → int
-
The hash code for this object.
no setterinherited
- liveLimits → FlarkLiveLimits
-
final
- projection → Projection
-
no setteroverride
- revision → int
-
no setteroverride
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- selection → FlarkSelection
-
no setteroverride
- snapshot → FlarkEditorSnapshot
-
no setteroverride
- source → String
-
no setteroverride
- sourceMode → bool
-
no setteroverride
- syncLimit → int
-
The UTF-8 size and shape rendered live; beyond either, source mode.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
select(
FlarkSelection selection) → bool -
toString(
) → String -
A string representation of this object.
inherited
-
update(
String markdown) → bool -
Show
markdown. Text outside the editing contract (a bare CR or an unpaired surrogate) and content the parser refuses are still this document, so they show as source rather than fail: a read-only view has no edit to reject, and the next text the parser takes renders live again. The editor refuses such text instead, because it must keep a parsable source.
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited