2022-08-26 09:04:08 +02:00
|
|
|
import 'package:flutter/material.dart';
|
2022-08-24 13:32:35 +02:00
|
|
|
|
|
|
|
class TableTheme {
|
2022-08-26 09:04:08 +02:00
|
|
|
/// The [TableTheme] to style the [Table] with. Configure the line, text
|
|
|
|
/// and offsets here.
|
2022-08-24 13:32:35 +02:00
|
|
|
const TableTheme({
|
|
|
|
this.lineColor = const Color(0x809E9E9E),
|
|
|
|
this.lineHeight = 2,
|
2022-08-26 09:04:08 +02:00
|
|
|
this.tableTextOffset = 5,
|
|
|
|
this.lineDashFrequency = 25,
|
2022-09-01 12:05:37 +02:00
|
|
|
this.timeStyle,
|
|
|
|
this.tablePaddingStart = 10,
|
|
|
|
this.tablePaddingEnd = 15,
|
|
|
|
this.blockPaddingBetween = 0,
|
2022-08-24 13:32:35 +02:00
|
|
|
});
|
|
|
|
|
|
|
|
/// The color of the lines.
|
|
|
|
final Color lineColor;
|
|
|
|
|
|
|
|
/// The height of the lines.
|
|
|
|
final double lineHeight;
|
|
|
|
|
2022-08-26 09:04:08 +02:00
|
|
|
/// The amount of dashes on the line.
|
|
|
|
final int lineDashFrequency;
|
|
|
|
|
|
|
|
/// Distance between the time text and the line.
|
|
|
|
final double tableTextOffset;
|
|
|
|
|
2022-08-24 13:32:35 +02:00
|
|
|
/// The style of the time text.
|
2022-09-01 12:05:37 +02:00
|
|
|
final TextStyle? timeStyle;
|
|
|
|
|
|
|
|
/// The padding between the table markings and the first block.
|
|
|
|
final double tablePaddingStart;
|
|
|
|
|
|
|
|
/// The padding between the last block and the end of the table.
|
|
|
|
final double tablePaddingEnd;
|
|
|
|
|
|
|
|
/// The padding between two blocks.
|
|
|
|
final double blockPaddingBetween;
|
2022-08-24 13:32:35 +02:00
|
|
|
}
|