void recordRestoreFrom(int mark, {required String name, required int tabs}) => _restores.add(DVWorkspaceRestoreSample(name: name, tabs: tabs, elapsed: _since(mark)));