Skip to content

Commit

Permalink
Another explorer style tweak
Browse files Browse the repository at this point in the history
  • Loading branch information
veloce committed Sep 10, 2024
1 parent e6fd579 commit 3eac725
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions lib/src/view/opening_explorer/opening_explorer_widget.dart
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,9 @@ class _OpeningExplorerState extends ConsumerState<OpeningExplorerWidget> {

final children = [
Container(
padding: _kTableRowPadding,
padding: _kTableRowPadding.subtract(
const EdgeInsets.only(bottom: _kTableRowVerticalPadding / 2),
),
decoration: BoxDecoration(
color: Theme.of(context).colorScheme.secondaryContainer,
),
Expand Down Expand Up @@ -408,7 +410,7 @@ class _OpeningExplorerMoveTable extends ConsumerWidget {
final games = whiteWins + draws + blackWins;
final ctrlProvider = analysisControllerProvider(pgn, options);

const topPadding = EdgeInsets.only(top: _kTableRowVerticalPadding);
const topPadding = EdgeInsets.only(top: _kTableRowVerticalPadding / 2);
const headerTextStyle = TextStyle(fontSize: 12);

return Table(
Expand Down

0 comments on commit 3eac725

Please sign in to comment.