recorder library

A debugging aid for dogfooding: a FlarkEditRecorder records the calls made to a FlarkEditor (FlarkEditRecorder(editor)), each a FlarkEditorCall, and writes them as a Dart repro that replays the session as a test. It is kept out of package:flark/flark.dart because production code never needs it.

Classes

ApplyCall
FlarkEditor.apply, or FlarkEditor.applyAfterComposition when afterComposition, of command at at: the time history used, or null for none given, when the editor's clock gives it.
CompositionCall
A CompositionStep that did something: one that began a composition while none was open, or ended the open one.
FlarkEditorCall
One call to FlarkEditor's editing API.
FlarkEditRecorder
Records the calls made to one editor so that a session can be replayed as a test. A host attaches one while dogfooding and copies repro when something goes wrong.
LoadMarkdownCall
FlarkEditor.loadMarkdown.
ReplaceSourceRangeCall
FlarkEditor.replaceSourceRange.
SelectAllCall
FlarkEditor.selectAll.
SetSourceModeCall
FlarkEditor.setSourceMode.