HistoryPanel constructor

HistoryPanel({
  1. String title = 'History',
  2. List<HistoryEntry> undoItems = const [],
  3. List<HistoryEntry> redoItems = const [],
  4. HistoryPanelMode mode = HistoryPanelMode.compact,
  5. int compactLimit = 5,
  6. String markerText = '─── current ───',
  7. String undoIcon = '↶ ',
  8. String redoIcon = '↷ ',
  9. Style? titleStyle,
  10. Style? undoStyle,
  11. Style? redoStyle,
  12. Style? markerStyle,
  13. Color? background,
  14. EdgeInsets? padding,
  15. Key? key,
})

Implementation

HistoryPanel({
  this.title = 'History',
  this.undoItems = const [],
  this.redoItems = const [],
  this.mode = HistoryPanelMode.compact,
  this.compactLimit = 5,
  this.markerText = '─── current ───',
  this.undoIcon = '↶ ',
  this.redoIcon = '↷ ',
  this.titleStyle,
  this.undoStyle,
  this.redoStyle,
  this.markerStyle,
  this.background,
  this.padding,
  super.key,
});