appendActiveToolsChange method
Appends an active-tools change. Returns the new record id.
Implementation
Future<String> appendActiveToolsChange(List<String> activeToolNames) {
return _append(
(id, parentId) => ActiveToolsChangeRecord(
id: id,
parentId: parentId,
timestamp: DateTime.now(),
activeToolNames: [...activeToolNames],
),
);
}